競合
2 つの遷移は、その両方が同じ状態の退場を引き起こす場合は、
競合
すると言われます。直交または独立した遷移だけが同時に始動します。これは、インターリーブ (交互配置) された実行が同等の結果を生じることを意味します。同等の結果には、ばらばらの退場状態が十分条件です。
注:
競合に関して、静的反応は、その静的反応が定義された状態に出入りする遷移として取り扱われます。
フィードバック