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 \
- \ internalizes all ports .
- (Jobber | Jobber
| Hammer)\{geth,puth}
- Complete system:
- Jobshop := (Jobber | Jobber
| Hammer | Mallet)\
- := {geth,puth,getm,putm}
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine