module scen3_orig_3_3 (APPLI, TRANS, LINK, NODE, BUS) is !nat_sup 3 process MAIN [LDreq: Dreq, LDcon: Dcon, LDind: Dind, LDres: Ack, PDreq, PDind: Sig, PAreq: Areq, PAcon: Acon, PCind: Id, arbresgap, losesignal: none] is par PDreq, PDind, PAreq, PAcon, PCind in par Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind] (3, 0, ko, scenario_3_3) || Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind] (3, 1, ko, scenario_3_3) || Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind] (3, 2, ko, scenario_3_3) end par || Bus [PAreq, PDreq, PDind, PAcon, PCind, arbresgap, losesignal] (3) end par end process end module