process Node [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind]
             (n: Nat, id: Nat, v: Version, s: Scenario) : noexit :=
   hide TDreq in
      (
      Link [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon, PCind]
           (n, id)
      |[LDreq, LDcon, LDind, LDres]|
      Trans [LDreq, LDcon, LDind, LDres, TDreq] (n, id, v)
      |[TDreq]|
      Application [TDreq] (n, id, s)
      )
endproc