ペトリネット

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

概要[編集]

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

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

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

ペトリネットのサブクラス^{[要曖昧さ回避]}として、ステートマシンやマークグラフ等がある。ステートマシンはそれぞれのトランジションから多くとも1本のアークが出るか、それぞれのトランジションに多くとも1本のアークが入る。マークグラフはそれぞれのプレースから多くとも1本のアークが出るか、それぞれのプレースに多くとも1本のアークが入る。^{[疑問点 – ノート]}

また、モノイドの性質も持つ^[1]。

一般化[編集]

カラーペトリネット（英語版）

応用例[編集]

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

出典[編集]

^ Meseguer, J. Montanari, U. , Petri nets are monoids, information and computation 88, 105-155, 1990

外部リンク[編集]

Petri Nets World 国際的なペトリネットのポータルサイト。メーリングリストや参考文献を含む。
Petri Net Markup Language XMLに基づくペトリネット交換用マークアップ言語。
exchangeable Routing Language
Citations from CiteSeer
Petri net （英語） - スカラーペディア百科事典「ペトリネット」の項目。

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

[1] Meseguer, J. Montanari, U. , Petri nets are monoids, information and computation 88, 105-155, 1990

[1]

概要[編集]

一般化[編集]

応用例[編集]

関連項目[編集]

出典[編集]

外部リンク[編集]