Documentation

Dangling transitions not connected to a destination object.

Transition shadowing caused by an unconditional transition originating from a source that prevents other transitions from the same source from executing.

States or junctions not connected as a destination from a valid transition.

Unconditional paths out of states. In this chart, initially state A and state B are active. The chart then takes the unconditional transition to state C, and state C becomes active. The transition to state B1 does not execute and state B1 is unreachable.