エンベデッドシステムスペシャリスト 2014年 午前2 問18

ペトリネットモデル【午前2解説】

正解の理由

解法ステップ

1. 問題文の「並列に動作する事象間の同期」に注目します。
2. データ構造や単一の状態遷移を表すモデルではなく、並行動作や同期の表現に適したモデルを探します。
3. トークンによって処理の進行や同期条件を表すペトリネットモデルを選びます。

選択肢別の誤答解説

• ア：E-Rモデル
  実体と実体間の関係を表すデータモデルです。データベースの設計に使われ、並列に動作する事象の同期を表すモデルではありません。
• イ：データフローモデル
  データの流れや、データの生成・利用に基づく処理の関係を表します。処理間のデータ依存関係は表現できますが、事象間の同期を表す代表的なモデルはペトリネットです。
• ウ：ペトリネットモデル
  トークンの位置や移動によって、並行処理や同期を表現できます。複数の事象がそろったときに処理を開始する状況も表せるため、適切です。
• エ：有限状態機械モデル
  システムの状態と状態間の遷移を表すモデルです。基本的には、状態を順にたどる振る舞いの記述に向いており、並列に動作する事象間の同期を表すモデルとしてはペトリネットがより適切です。

よくある誤解

• データの流れを表せるモデルなら、事象間の同期も表せると思う
  データの依存関係と、複数の事象がそろうまで待つ同期は別の観点です。問題では「同期」に着目してください。
• 有限状態機械なら、あらゆる並行動作を簡単に表せると思う
  有限状態機械は状態遷移の表現に適していますが、並行処理が増えると状態の組合せが増え、記述が複雑になりやすいです。
• ペトリネットはデータ構造のモデルだと思う
  ペトリネットは、並行・同期を含むシステムの振る舞いを表現するモデルです。

補足コラム

FAQ