ペトリネット は，状態や条件を表すプレース，事象を表すトランジション，状態の成立を示すトークンなどでモデル化します。複数の入力条件がそろった時点でトランジションを発火させることによって，並行する事象の同期を表せます。 E-Rモデルは実体とその関連を表すデータモデルです。 データフローモデルは処理とデータの流れを表します。同期条件を直接表すためのモデルではありません。 有限状態機械モデルは状態と状態遷移を表します。ここで問う並行事象間の同期を表現するモデルはペトリネットです。