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