ペトリネット

ペトリネット（）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。

概要
ペトリネットは、視覚的、数学的な離散事象システムをモデル化するツールの一つであり、
名前は創始者のカール・アダム・ペトリに由来する。

有向2部グラフ  で表現され、
頂点集合の2分割  がそれぞれ、
プレース（丸で表記）、トランジション（棒または箱で表記）
という2種類のノードに対応する。
アーク (矢印で表記) は、プレースから出てトランジションに入るか、
トランジションから出てプレースに入る。

あるプレース  に対し、非負整数  が割り当てられたとき、
プレース  は  個のトークンでマーキングされていると言い、
このときトークンはプレース  内の  個の点として図示される。
ペトリネットは、マーキングによりシステムの状態を表現し、
特に、マーキングの初期状態のことを初期マーキングと呼ぶ。
マーキングはトランジションの発火により遷移する。

ペトリネットのサブクラスとして、ステートマシンやマークグラフ等がある。

また、モノイドの性質も持つ。

一般化

応用例
並行計算
性能評価
通信プロトコル
バイオインフォマティクス

関連項目 
ペトリネットの解析
有限オートマトン
ペトリネット言語
アクターモデル、プロセス計算
表示的意味論
アクティビティ図
YAWL
BPEL
グラフ理論
オープンペトリネット

出典

外部リンク
 Petri Nets World 国際的なペトリネットのポータルサイト。メーリングリストや参考文献を含む。
 Petri Net Markup Language XMLに基づくペトリネット交換用マークアップ言語。
 exchangeable Routing Language
 Citations from CiteSeer
 

計算モデル
形式手法
並行性
形式仕様記述言語
ダイアグラム
数学に関する記事