Loops

A loop is a transition from a state to itself. The loop transition in the figure below is valid if either of the substates of G_hierarchy is active, the trigger event trigger occurs, and the condition [reset_state] is true. The system leaves the active substate, it leaves the G_hierarchy state, executes the transition action, re-enters G_hierarchy, and finally enters the substate G1.