ペトリネット

提供: ORWiki
2007年7月17日 (火) 13:47時点における122.17.2.240 (トーク)による版
ナビゲーションに移動 検索に移動

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

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