Elevator (State Machine)
Movement and door states of a lift.
Make it your own.
title "Elevator"
state Idle
state MovingUp
state MovingDown
state DoorsOpen
initial Idle
transition Idle -> MovingUp on "call_above"
transition Idle -> MovingDown on "call_below"
transition MovingUp -> DoorsOpen on "arrive"
transition MovingDown -> DoorsOpen on "arrive"
transition DoorsOpen -> Idle on "close"