平成26年度 春期 午前Ⅱ 問18

✓ これが正解ウペトリネットモデル

解説

ペトリネットは、並行する事象の同期をトークンの動きで表せます。

ペトリネットは、プレースとトランジション、その間をつなぐ矢印、プレースに置くトークンで、システムの振る舞いを表すモデルです。トランジションは、入力側の全てのプレースにトークンがそろったときにだけ発火し、トークンを出力側のプレースへ移します。この仕組みにより、複数の処理が並行して進む様子や、それらが互いに待ち合わせる同期のタイミングを表現できます。そのため、並列に動作する事象間の同期を表す要求モデルとして適しています。トークンがそろうまで待つ、という発火の規則を押さえると、他のモデルと見分けられます。

ほかの選択肢はなぜ違うのか

• アE-Rモデル：E-Rモデルは、データを実体と関連の組合せで表すモデルで、データの構造を整理するために使います。時間の流れや並行して動く事象を表す仕組みは持たず、同期の表現には向きません。
• イデータフローモデル：データフローモデルは、データがどの処理からどの処理へ流れ、どう変換されるかを表すモデルです。処理の順序やタイミングを表すものではないので、並列に動作する事象の間の同期は表せません。
• エ有限状態機械モデル：有限状態機械モデルは、システムが取り得る状態と、事象による状態の移り変わりを表すモデルです。基本は一つの状態から次の状態への遷移を表すもので、並行する複数の事象の同期をそのまま表すのには向きません。