平成28年度 秋期 システムアーキテクト試験 午前Ⅱ 問4

解説

ペトリネットモデルは，並行して動作する複数の事象（プロセス）の間の同期，排他制御，資源の競合といった並行処理特有の動的な振る舞いを，プレース，トランジション，トークンという要素を用いて数学的かつ視覚的に表現できるモデルです。並列に動作する事象間の同期を表現することができる点が，他の要求モデルにはないペトリネットモデルの特徴です。

選択肢ごとの解説

• ア誤り。E-R モデルは，データの実体（エンティティ）と実体間の関連を表現するモデルであり，並列処理の同期を表現するものではありません。
• イ誤り。データフローモデルは，データの流れと処理（プロセス）の関係を表現するモデルであり，並列に動作する事象間の同期を表現するものではありません。
• ウ正しい。ペトリネットモデルは，並列に動作する事象間の同期を表現することが可能なモデルです。
• エ誤り。有限状態機械モデルは，システムの状態とその遷移を表現するモデルであり，単一の状態遷移系を表すものであって，並列に動作する複数の事象間の同期を直接表現するものではありません。