次の図は、ペトリネットの初期マーキングを表したものである。このネットの
動作に関する次の記述のうち、最も適切なものはどれか。
① ４回目のトランジション発火の結果、Ｐ３のプレースにトークンは存在しない。
② Ｔ２とＴ４のトランジションは競合する関係にある。
③ 初期マーキングで発火可能なトランジションは、Ｔ１とＴ４である。
④ トランジションの発火する順番によっては、デッドロックの状態となる。
⑤ どのように遷移しても、ネット内におけるトークンの総数は不変である。
ペトリネットは、非同期、並列システムの情報や制御の流れを記述するために、
プレース：条件、トラジション：事象、アーク：方向を表す図形を用いて表すグラフである。
トークンはプレースの中に●を描き、状態を表す。
発火は事象が起こることであり、
受注する、出荷する、支払うなどが該当する。
① 正しい。
１回目の発火はＴ１で、発火後、Ｐ２に１つ、Ｐ４に２つトークンが存在する。
２回目の発火はＴ４で、発火後、Ｐ２は１つのまま、Ｐ３に１つトークンが存在する。
３回目の発火はＴ３で、発火後、Ｐ２は２つ、Ｐ４に１つトークンが存在する。
４回目の発火はＴ２で、発火後、Ｐ１に１つ、Ｐ４は１つのまま、トークンが存在する。
５回目の発火はＴ１で、発火後、Ｐ２に１つ、Ｐ４に２つトークンが存在する。
・・・
以下繰り返し。
② ①のとおり、Ｔ２、Ｔ４は競合しない。
③ 初期マーキングで発火可能なトランジションは、Ｔ１である。
④ ①のとおり、デッドロックは起こらない。
⑤ トークンの総数は２個か３個である。
EXCEL ＶＢＡのご相談なら ファーストマクロ へ
タグ：ペトリネット
