AnyTransitions always have a target state to which the AnyTransitions lead. AnyTransitions never have an initial state from which the AnyTransitions lead away.

The condition for executing an AnyTransition is always checked before the current state. If the condition is met, the activities associated with the AnyTransition are executed. Then, the state machine immediately changes to the target state of the AnyTransition.

Important PAgraph executes the Exit part of the state that is active before the condition for the AnyTransition is valid.