令和3年度 秋期 午前Ⅱ 問20

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

解説

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

ペトリネットは、条件や状態を表すプレースと、事象を表す遷移を有向の枝で結び、プレースに置いたトークンの移動でシステムの振る舞いを表すモデルです。遷移は、入力側のすべてのプレースにトークンがそろったときに発火するので、並行して進む複数の処理がそろうのを待ち合わせる同期を自然に表現できます。並列に生起する事象間の同期を表現できるという設問の条件に合うのは、このモデルです。トークンがそろうまで遷移が発火しないという性質が同期を表す、と覚えておくと選べます。

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

• アE-R モデル：E-Rモデルは、データの構造を実体とその間の関連で表すモデルです。データ同士の静的な関係を示すもので、時間とともに起きる事象や、その間の同期を表すための道具ではありません。
• イデータフローモデル：データフローモデルは、データがどの処理を経てどこへ流れるかを表すモデルです。処理とデータの流れはわかりますが、処理がいつ起きるかや、並行する処理の待ち合わせは表現の対象外です。
• エ有限状態機械モデル：有限状態機械モデルは、一つのシステムがイベントに応じて状態を移っていく様子を表すモデルです。ある時点でとる状態は一つなので、並列に起きる複数の事象の間の同期を表すには向いていません。