令和3年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問20

解説

ペトリネットモデルは，プレース（状態や条件），トランジション（遷移，イベント）及びそれらを結ぶ有向弧，並びにプレースに置かれるトークンを用いて，並行して生起する複数の事象間の同期や排他制御といった関係を視覚的かつ厳密に表現できるモデルです。並列処理やリアルタイムシステムのように，複数の事象が並行して発生し，それらの間の同期関係を表現する必要がある要求のモデル化に適しています。

選択肢ごとの解説

• ア誤り。E-R モデルは，実体（エンティティ）とその間の関連（リレーションシップ）を表現するデータ構造のモデルであり，並行して生起する事象間の同期を表現するものではありません。
• イ誤り。データフローモデルは，データの流れと処理の関係を表現するモデルであり，事象間の並行性や同期を明示的に表現するものではありません。
• ウ正しい。ペトリネットモデルは，並列に生起する事象間の同期を表現することが可能なモデルであり，並行システムの要求分析や設計に用いられます。
• エ誤り。有限状態機械モデルは，一つの主体がとり得る状態とその遷移条件を表すモデルであり，複数の事象が並行して生起する場合の同期の表現には適していません。