ペトリネット（Petri Net） は、並行・並列に生起する事象のモデリングと形式解析に優れたグラフモデルです。プレース（状態・条件）、トランジション（事象・動作）、およびトークン（資源）から構成され、複数の非同期プロセスの合流・分岐、相互排除、および 並行する事象間のタイミング同期関係 を数学的かつ直感的に表現できます。したがって、正解は ウ です。 ア: 実体（エンティティ）間の論理的関係を表現する「E-Rモデル」です。 イ: データの加工プロセスの流れを表現する「データフローモデル（DFD）」です。 エ: 単一オブジェクトの状態遷移を表現する「有限状態機械（FSM）」です。