to_taking_off
Transition between states
From
J4359F592007E
To
J4359F592008D
Transition code
to_elevator.do_elevator_up().send();
timer1.informIn(RTTimespec(50,0));
Triggers:
Signals
timeout
Ports
timer1