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).