down
Transition between states
From
J4359EAC200BD
To
J4359EAC200C2
Transition code
manete_status=0;
Triggers:
Signals
do_manete_down
Ports
to_controller