状態マシンを設計していて、何か２つのことを同時並行しておこない、両方が終了したら、次の状態に遷移したい、というモデルを作りたいことがある。

そのときに、直交状態＋終了状態＋完了遷移を組み合わせるとうまく実現できる。

状態２１と状態２２が直交していて、両方が終了状態まで到達したときに、状態９に遷移する。

このように、内部に直交する領域が複数ある場合は、すべての領域が終了状態になったときに、その状態が終了状態となると決められている。

その領域が終了状態なったかどうかは、以下のアルゴリズムで判断する。

このため、以下の場合は、

この場合は、領域２３は状態１０と状態１１のどちらにいても終了状態であると判断され、状態２にいればIS_IN(状態２３が終了状態）は常にTRUEとなり、流れは上のモデルと同じく、状態２１と状態２２がともに終了状態に到達したときに、状態９に遷移する。

直交合成状態で説明したが、サブマシンを持つ場合でも同様である。

参考文献