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

!nat_sup 1

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

end module