START STOP RUNNING DELAY WAIT DELAY WAIT WAIT DELAY2 DELAY3 P1_enc P1_run P2_enc P2_run P3_enc P3_run Pump_def WAIT7 Pump_def secours P1_run P2_run P3_run P1_run P1_run P2_run P2_enc P3_run P3_run only_one_run WAIT2 true WAIT13 Pump_def secours true 1 req_secours_ok secours P1_enc P2_enc P3_enc P1_enc P2_enc P3_enc 1 1 1 req_enc_ok WAIT15 only_one_run only_one_run