状態遷移図において、ガード条件が [else] と記述されている場合、いつその遷移が実行されるか。

elseガードは、同じソース状態から出る他のすべての遷移条件が満たされない場合に選択される。