ステートマシン図において、遷移の優先順位を決める際、ソース状態が同じでガード条件も共に真となる遷移が複数ある場合、何によって解決されるか。

ソース状態が同じで競合する遷移がある場合、優先順位は定義されておらず、どちらが発火するかは保証されない(モデルの曖昧さ)。