遷移選択
遷移選択は、アクティブ遷移のどのサブセットを起動するかを指定します。
以下の 2 つの要因が考慮されます。
競合
優先度
フィードバック