down

Transition between states
FromJ4359EAC200BDToJ4359EAC200C2

Transition code
elevator_status=0;

Triggers:

Signalsdo_elevator_down

Portsto_controller