ペトリネット

ペトリネットとは

視覚的、数学的なモデル化ツールである。
この概念を創ったカール・アダム・ペトリの名をとってペトリネットと呼ばれる。

以下は、カール・アダム・ペトリの公式サイトのURLである。
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri_eng.html

構造

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

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

• プレース（丸で表記）
• トランジション（棒または箱で表記）

アークは

• プレースからトランジションへの接続
• トランジションからプレースへの接続

のいずれかである。

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

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

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

応用分野

• 性能評価
• 通信プロトコル

等がある。

関連項目

アクターモデル