A machine can take different 3 different states: off, on and working. The transitions between states are restricted in a sequencial way:
- state-off > when-turn-on > state-on
- state-on > when-start > state-working
- state-working > when-work-done > state-on