Commentary

Transitions are shown by lines with arrow heads between states. Event causing the transition shown on the transition line. Transition is said to be ``fired'' or ``triggered'' by the event. If no state attached to the transition it is ``triggerless''. State transition with only an action-expression: /flash.