スマートフォン用の表示で見る

ペトリネット

ペトリネットとは

視覚的、数学的なモデル化ツールである。

この概念を創ったカール・アダム・ペトリの名をとってペトリネットと呼ばれる。

以下は、カール・アダム・ペトリの公式サイトのURLである。

http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri_eng.html

構造

有向グラフの一種であり、初期マーキングという初期状態を持つ。

次のような2種類のノードを持つ。

アークは

のいずれかである。

アークは重みを持ち、重みがkのアークはk重アークと呼ばれる。

プレースpが非負整数kを割り当てられているとき、pはk個のトークンでマーキングされているという。

このとき、トークンはプレースp内にk個の黒い点として図示される。

応用分野

等がある。