令和6年度 秋期 午前Ⅱ 問17

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

解説

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

ペトリネットは、場所を表すプレース、事象を表すトランジション、両者を結ぶ矢印、そしてプレースに置くトークンで、システムの振る舞いを表すモデルです。トランジションは、入力側の全てのプレースにトークンがそろったときに発火し、出力側のプレースにトークンを送ります。この性質によって、複数の事象が並行して進み、ある時点でそろうのを待ち合わせるといった同期を表現できます。そのため、並行して動く処理をもつ組込みシステムなどの要求を表すのに向いています。選択肢を見るときは、データの構造、データの流れ、状態の移り変わり、並行と同期のうち、どれを表すモデルかを確かめます。並行と同期ならペトリネット、と覚えておくと確実です。

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

• アE-Rモデル：E-R モデルは、実体と実体の間の関連を使って、データの構造を表すモデルです。データベースの設計などに使うもので、事象が起こる順序や、並行する事象の同期を表す仕組みはもっていません。
• イデータフローモデル：データフローモデルは、処理と処理の間をデータがどう流れるかを表すモデルです。データの出入りは分かりますが、処理が起こるタイミングや、並行する事象の待合せといった同期は表しません。
• エ有限状態機械モデル：有限状態機械モデルは、一つの機械が一時点で一つの状態をとり、イベントによって状態が移る様子を表すモデルです。並行して起こる複数の事象の同期を、そのまま表す仕組みはもっていません。