ペトリネット

提供: ORWiki
2007年8月8日 (水) 22:18時点におけるKanda.k (トーク | 投稿記録)による版
ナビゲーションに移動 検索に移動

【ぺとりねっと (Petri net)】

ペトリネットは離散事象システムをモデル化するための有力なツールである. 離散事象システムの特徴は, 事象生起の並行性, 非同期性, および非決定性にあり, ペトリネットはこれらの特徴をもったシステムを, 条件と事象を基本としてモデル化し, 数学的解析を可能にしている.一方, ペトリネットをシミュレーションツールとしてとらえるのは最近の1つの傾向であり, 特に,大規模ペトリネットに対してはシミュレーションによる解析が威力を発揮する.

詳しくは基礎編:ペトリネットを参照.