一連の選択の定義は、必須ではありませんが、選択アルゴリズムの実装は、アクティブな状態の構成を直接トラバーサルすることにより行われます。
アクティブ状態は、関連する遷移を評価しながらボトムアップでトラバースされています。このトラバースは、優先度が守られることを保証します。唯一の問題は、直行状態をまたがる遷移の競合解決です。この問題は、あるコンポーネントの内部で遷移が起動された後、各 And 状態を「ロック」することで解決されます。 ボトムアップのトラバースと And 状態のロックを組み合わせることで、正しい選択セットが保証されます。