ペトリネット

ペトリネット

ペトリネット（Petri Net）とは、カール・アダム・ペトリが1962年に発表した離散分散コンピューティング 分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。
視覚的で、数学的な離散事象システムをモデル化するツールの一つである。
この概念を創ったカール・アダム・ペトリの名を取りペトリネットと呼ぶ。
有向グラフの一種で、初期マーキングと呼ばれる初期状態を持つ。
ペトリネットのサブクラスとして、マークグラフ、ステートマシン等がある。
また、モノイドの性質も持つ。[1]を参照。
プレース（丸で表記）、トランジション（棒または箱で表記）という２種類のノードがあり、

『フリー百科事典ウィキペディア日本語版』 2009/01/01/23/09、URL: http://ja.wikipedia.org/