Enabled transitions

A transition is enabled if:

      Its source state is active.

      One of the transition triggers is true.

      If there exists at least one full path from the source state to either a target state or to a choice point in which all guard conditions are true (transitions without guards are treated as if their guards are always true).