Go backward to
A Larger Example: The Jobshop
Go up to
Go forward to
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.
is exact mathematical object:
Homomorphism from flow graph algebra to behavior algebra.
Last Modification: June 8, 1998