ペトリネット

　ペトリが1962年に提案した離散事象システムの記述モデル．事象駆動型のシステムにおいて，非同期・並行な事象と，それを導く状態との関係を表現する．ペトリネットは，四つの構造要素，すなわちプレースP，トランジションT，入力関係I，出力関係Oの組み（PTIO）と，マーキングMから構成される．図において，プレースp₁とp₂からトランジションt₁に入力があり，また出力がp₃に与えられるとき，マーキングを表すトークン（黒丸）がp₁，p₂にあるとt₁が発火し，トークンが一つとなってp₃に移動する．