ド状態が TRUE 。次の [...] ように動作する遷移は、 シンボル。 :ガード状態が TRUE [...] ド状態が常に TRUE 、その後、遷移が1回実
遷移の条件が満たされている場合でも、 TRUE 複合状態に初めて入ると、最初 [...] ド条件が TRUE 、遷移が実行されます。 ユー [...] リックします。 例外遷移は TRUE 条件
のガード条件が次のようになるとすぐに実行されるアクションです。 TRUE 。アク [...] 取得します TRUE 。 すべ
ての着信遷移がに設定されている場合に1回実行されます TRUE [...] のすべての発信遷移が TRUE 。 ヒント 要素
ド条件が値を取得したとき TRUE (イベント)、トラ
遷移の条件を定義できます。挿入したときの状態は TRUE デフ [...] Counter := 0; bReady := TRUE
ての着信遷移がに設定されている場合に1回実行されます TRUE [...] のすべての発信遷移が TRUE 。 ヒント 要素