要發動的一組轉移滿足下列條件:
- 所有轉移必須處於作用中。
- 沒有衝突的任何轉移都將發動。
- 如果在轉移之間定義優先順序,則優先順序較低的轉移不會發動。
- 在任何一組衝突的轉移中,都會選取一個轉移進行發動。如果未按優先順序解決衝突,則選取的轉移是任意的。
雖然這個選取集定義並非是必要的,但是會透過作用中狀態配置的直接明確遍訪實作選取演算法。
將對作用中的狀態由下而上進行遍訪,此時會評估與每個狀態相關的轉移。此遍訪保證不違反優先順序原則。唯一的問題是解決正交狀態之間的轉移衝突。一旦在其中一個元件內部發動轉移,即會透過「鎖定」每個 And 狀態解決此問題。由下而上的遍訪及 And 狀態鎖定一起保證適當的選取集。