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

where

   library
      APPLI, TRANS, LINK, BUS, NODE
   endlib

endspec