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

【正解】ウ

ペトリネットモデルは、場所を表すプレース、事象を表すトランジション、状態を示すトークンを用いて、システムの動作を表現するモデルです。複数のトランジションが独立に発火する並列動作だけでなく、必要な全てのプレースにトークンがそろったときだけ発火する同期も表現できます。このため、並列に発生する事象間の同期を扱う要求モデルとして、ウが適切です。

例えば、二つの並行処理の完了を示す各プレースにトークンが到着した後、一つのトランジションを発火させれば、「両方の処理が完了するまで次へ進まない」という同期条件を表せます。排他制御や資源の競合、デッドロックの分析にも利用できます。

アのE-Rモデルは誤りです。これは、実体、属性、実体間の関連を表し、主にデータベースの概念設計に用いるモデルです。

イのデータフローモデルは誤りです。これは、データの流れ、処理、データストア、外部実体を表すモデルであり、並列事象の発火条件や同期を直接表すものではありません。

エの有限状態機械モデルは誤りです。これは、システムを有限個の状態と入力による状態遷移で表すモデルです。基本的にはある時点の一つの状態を中心に扱うため、複数事象の並列性や同期の表現にはペトリネットが適しています。

【ポイント】 ペトリネットでは、トークンの配置をマーキングと呼び、それがシステム全体の状態を示します。 「並列動作、同期、競合、デッドロック」という語が現れたら、ペトリネットを有力候補として考えます。