令和元年度 秋期 午前Ⅱ 問2

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

解説

並列に起きる事象の同期を表せるのはペトリネットモデルです。

見分ける軸は、複数の事象が同時に進み、ある時点でそろうのを待つ、という同期の関係を表せるかどうかです。ペトリネットモデルは、状態や条件を表す場所と、事象を表す遷移、場所に置かれるトークンで構成されます。遷移は、つながるすべての入力の場所にトークンがそろったときに起こるので、並列に進む事象の待ち合わせや同期をそのまま書き表せます。ほかの肢は、データの構造、データの流れ、一つの対象の状態の移り変わりを表すモデルで、並列の同期を表すことが主眼ではありません。並列と同期という語が出たら、トークンのそろい待ちで表すペトリネットを思い出すと選べます。

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

• アE-Rモデル：E-Rモデルは、実体とその間の関連でデータの構造を表すモデルです。どのデータがどのデータと結び付くかは書けますが、事象が起きる順序や、同時に進む処理の待ち合わせは表現の対象外です。
• イデータフローモデル：データフローモデルは、処理の間をデータがどう流れるかを表すモデルです。データの出入りは分かりますが、処理がいつ起き、どの処理が終わるのを待つかといった時間や同期の関係は表しません。
• エ有限状態機械モデル：有限状態機械モデルは、一つの対象がとる有限個の状態と、事象による状態の移り変わりを表します。順序のある振る舞いは書けますが、並列に起きる複数の事象が待ち合わせる関係を直接表すことには向きません。