IPA公式正解：ウ ペトリネットモデル
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ウ】です。ペトリネットモデルは、プレース（状態）、トランジション（事象遷移）、トークン（資源）から構成される有向グラフであり、並行・並列に動作するプロセス間の非同期な事象や同期・競合関係を数学的に表現・解析するのに適した要求モデルです。
【詳細解説】■ 本問の核心・解法のポイント
並列・並行処理システムや分散システムにおける事象の同期・非同期処理を数学的・視覚的にモデル化する手法を問う問題です。同期現象やリソース競合を正確に表現できるモデルとして「ペトリネット（Petri Net）」が代表的です。
・各選択肢の徹底解説：
・ア：E-Rモデル（Entity-Relationshipモデル）は、データ構造とその関連性を表現する静的なデータモデルです。動的な同期関係は表現できません。
・イ：データフローモデルは、業務やシステム内のデータの流れと処理の関係を表現するモデルであり、並列処理の緻密な同期制御の表現には向きません。
・ウ：【選択肢ウ★】適切です。ペトリネットモデルは、トークンの移動によって状態遷移を表し、複数の並行動作プロセス間の同期や排他制御、デッドロックの検出などを厳密に表現できます。
・エ：有限状態機械（FSM）モデルは、単一のシステムが取り得る有限個の状態と事象による遷移を表現しますが、複数の並列事象間の同期を直接表現するには拡張が必要です。
よって正解はウです。
