ステートマシン図の「直交状態(Orthogonal State)」とは何か。

直交状態は、ANDの並行性を持つコンポジット状態であり、破線で区切られた複数の領域それぞれで同時に状態が推移する。