Go backward to
A Larger Example: The Jobshop
Go up to
Top
Go forward to
The Tools
Flow Graphs
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.
in
and
out
are external.
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.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998