IPA公式正解：ウ ペトリネットモデル
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ウ】です。ペトリネットモデルは、プレース、トランジション、有向アーク、トークンから構成される数学的モデルであり、非同期かつ並行に進行する事象や、複数プロセス間の同期・排他制御を視覚的かつ厳密に表現するのに適しています。
【詳細解説】■ 本問の核心・解法のポイント
並列・並行処理システムや分散システムでは、複数の事象が独立して発生し、特定の条件で同期（待ち合わせ）を行う振る舞いを正確にモデル化する必要があります。選択肢の中から並行性・非同期性・同期のモデル化に特化した手法を見分けることがポイントです。
・各選択肢の徹底解説：
・ア：E-Rモデルは、実体（Entity）と実体間の関連（Relationship）を表現する静的なデータ構造モデリング手法であり、動的な事象の同期は表現できません。
・イ：データフローモデル（DFDなど）は、業務やシステムにおけるデータの流れと加工プロセスを表現するものであり、事象の生起タイミングや同期制御を表現する機能はありません。
・ウ：【選択肢ウ★】ペトリネットモデルは、トークンの移動（発火規則）によって状態遷移を表現し、並行に生起する事象の合流（同期）や分岐を的確にモデル化できます。
・エ：有限状態機械モデル（FSM）は、システムが取り得る有限個の状態と状態遷移を表現しますが、基本的に単一の制御主体を扱うため、複数の並列な事象間の複雑な同期を自然に表現するには不向きです。
よって正解はウです。
