プレースとトランジションの有向2部グラフで同期を表現するペトリネット

ペトリネット（Petri Net）は、並行処理システムや分散同期システムの挙動を数理モデル化するための図式モデルです。 状態を表す「プレース（円）」と、事象の生起を表す「トランジション（棒・長方形）」の2種類の節点から成る有向2部グラフで構成されます。プレース内に保持される「トークン（黒点）」が発火規則に従ってトランジションを通過・移動することにより、非同期・並行に進行するプロセス間の同期制御や排他制御の振る舞いを厳密に表現できます。 E-Rモデル（実体関連モデル）の説明です。 構造化分析・設計手法（DFDや機能階層図など）の説明です。 オブジェクト指向分析・設計（OOA/OOD）のアプローチの説明です。

ソフトウェアの要求分析や設計に利用されるモデルに関する記述のうち，ペトリネットの説明として，適切なものはどれか。

出典令和元年 秋期 応用情報技術者試験 午前 問46
ア
外界の事象をデータ構造として表現する，データモデリングのアプローチをとる。その表現は，エンティティ，関連及び属性で構成される。
イ
システムの機能を入力データから出力データへの変換とみなすとともに，機能を段階的に詳細化して階層的に分割していく。
ウ
対象となる問題領域に対して，プロセスではなくオブジェクトを用いて解決を図るというアプローチをとる。
エ
並行して進行する事象間の同期を表す。その構造はプレースとトランジションという2種類の節点をもつ有向2部グラフで表される。