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}