衝突

如果兩個轉移同時會造成相同的狀態結束,即可認為是衝突。只有正交或獨立轉移才會同時發動。這表示交錯執行會導致等同的結果。不相交的結束狀態是等同結果的滿意條件。
註: 關於衝突,靜態回應會被視為結束及輸入定義它們時的狀態的轉移。

回饋