「ペトリネット」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
7行目:
ペトリネットは、有向[[2部グラフ]] <math>N = (P, T, A)</math> で表現され、
頂点集合の2分割 <math>
プレース（丸で表記）、トランジション（棒または箱で表記）
という2種類のノードに対応する。
13行目:
トランジションから出てプレースに入る。
あるプレース <math>p \in P</math>
プレース <math>p</math> は <math>k</math> 個のトークンでマーキングされていると言い、
このときトークンはプレース <math>p</math> 内の <math>k</math> 個の点として図示される。
特に、マーキングの初期状態のことを初期マーキングと呼ぶ。
| |||