轉移選取演算法

要發動的一組轉移滿足下列條件:

雖然這個選取集定義並非是必要的,但是會透過作用中狀態配置的直接明確遍訪實作選取演算法。

將對作用中的狀態由下而上進行遍訪,此時會評估與每個狀態相關的轉移。此遍訪保證不違反優先順序原則。唯一的問題是解決正交狀態之間的轉移衝突。一旦在其中一個元件內部發動轉移,即會透過「鎖定」每個 And 狀態解決此問題。由下而上的遍訪及 And 狀態鎖定一起保證適當的選取集。


回饋