Go backward to Composition of Agents Go up to Top Go forward to Reformulations

Further Compositon

• Internalisation of ports:
  • No further agents may be connected to ports:
  • Restriction operator \
  • \L internalizes all ports L.
  • (Jobber | Jobber | Hammer)\{geth,puth}
• Complete system:
  • Jobshop := (Jobber | Jobber | Hammer | Mallet)\L
  • L := {geth,puth,getm,putm}