down

Transition between states
FromJ4359EAC200BDToJ4359EAC200C2

Transition code
manete_status=0;

Triggers:

Signalsdo_manete_down

Portsto_controller