以下の例を見てみましょう。このステートチャートには、親状態 (実行中) の端を越えてネストされた状態 (on) に入る深い遷移があります。
実行状態のサブマシンを作成すると、この例で示すように、親ステートチャートとサブマシン内で作成された一致する入退場点から深い遷移は自動的に分割されます。