module scen1_correct_2 (APPLI, TRANS, LINK, NODE, BUS) is

!nat_sup 2

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] (2, 0, ok, scenario_1)
      ||
         Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind] (2, 1, ok, scenario_1)
      end par
   ||
      Bus [PAreq, PDreq, PDind, PAcon, PCind, arbresgap, losesignal] (2)
   end par
end process

end module