specification P1394 [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon,
                     PCind, arbresgap, losesignal] : noexit

library
   BOOLEAN, NATURAL, DATA
endlib

behaviour

   (
   Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind]
        (2, 0, ko, scenario_1)
   |||
   Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind]
        (2, 1, ko, scenario_1)
   )
   |[PDreq, PDind, PAreq, PAcon, PCind]|
   Bus [PAreq, PDreq, PDind, PAcon, PCind, arbresgap, losesignal] (2)

where

   library
      APPLI, TRANS, LINK, BUS, NODE
   endlib

endspec