Go backward to A Larger Example: The Jobshop
Go up to Top
Go forward to The Tools
- Ports may be linked to more than one other port.
- Jobbers compete for use of hammer.
- Jobbers compete for use of job.
- Source of non-determinism.
- Ports of belt are omitted from system.
- Internal ports are not labelled:
- Ports by which jobbers acquire and release tools.
- Flow graph is exact mathematical object:
- Homomorphism from flow graph algebra to behavior algebra.
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine