Go backward to
Flow Graphs
Go up to
Top
Go forward to
The Jobbers
The Tools
Behaviors:
Hammer
:=
geth
.
Busyhammer
Busyhammer
:=
puth
.
Hammer
Mallet
:=
geth
.
Busymallet
Busymallet
:=
puth
.
Mallet
Sort
= set of labels
P: L
...agent
P
has sort
L
Hammer
: {
geth
,
puth
}
Mallet
: {
getm
,
putm
}
Jobshop
: {
in
,
out
}
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998