Screenshots of the Dining Philosophers example (only version 1.1).

The main observation window

GUI Screenshot

The window to choose the next rule to be executed

Rules

The terminal window with debugging information

Terms

Last modified on June 4, 2001