ステートマシン図において、遷移の「効果(Effect)」として記述された振る舞いが実行されるタイミングはいつか。

遷移の実行順序は、「ガード評価(真) → ソースのexit → 遷移のeffect → ターゲットのentry」である。