ステートマシンを設計していて、2つの異なる状態から入ることができる1つの特定の状態があります...前の状態に戻る方法がわかりません...またはそれを間違ってモデル化していますか?
説明する :
| 状態| トリガー| nextstate --------------------------------- 1. | イニシャル| evtX | A 2. | イニシャル| evtY | B 3. | B | evtX | A 4. | A | evtZ | ????
最後の行は私が問題を抱えているところです。行番号1のトランジションからAに到達した場合は初期状態に遷移する必要があり、行番号3の遷移からAに到達した場合は状態Bに遷移する必要があります。
どうすればこれをより適切にモデル化できますか?