Application of Net Theory
Shingo Yamaguchi, Qi‐Wei Ge · IEICE ESS FUNDAMENTALS REVIEW · 2009
ネット理論の応用として，ワークフローをモデル化するためのワークフローネットと，データフロープログラムをモデル化するための（データフロー）プログラムネットを紹介する．ワークフローネットの主要な解析問題として，健全性，振舞い継承，動的変更時間を取り上げ，その定義と解析方法を概説する．またプログラムネットの主要な解析問題として，停止性，不活性，トークンSelf-clean性，並列度を取り上げ，その定義と解析方法を概説する.