ステートマシンにおいて、複数の「リージョン」を持つ直交状態が終了するのはどのタイミングか。

直交状態は、内包する全ての並行リージョンがそれぞれの最終状態(Final State)に達した際に完了する。