平成26年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問18

解説

ペトリネットモデルは，プレース（状態）とトランジション（遷移）およびそれらを結ぶ矢線，そしてトークンの移動によって，システムの状態変化を表現するモデルです。複数のトランジションが同時に発火し得る構造を表現できるため，並列に動作する事象間の同期や排他制御といった関係を視覚的かつ形式的に表現するのに適しています。

選択肢ごとの解説

• ア誤り。E-R モデルは，実体（エンティティ）と関連（リレーションシップ）によってデータの構造を表現するモデルであり，並列動作の同期を表現するものではありません。
• イ誤り。データフローモデルは，データの流れと処理（プロセス）の関係を表現するモデルであり，事象間の同期関係を表現することを主目的とするものではありません。
• ウ正しい。ペトリネットモデルは，並列に動作する複数の事象（トランジション）間の同期や排他関係を表現できるモデルです。
• エ誤り。有限状態機械モデルは，一つの主体がとり得る状態とその遷移を表現するモデルであり，単体の状態遷移の表現には適していますが，複数の事象間の並列動作や同期を直接表現するのには向いていません。