| Name | Description |
|---|---|
| ControlledTanks | Control system to fill and empty a two tank system |
| ProductionLine | Production line with simple robots |
| HarelsWristWatch | |
| Deadlock | Example with two processes sharing two resources ending up in a deadlock situation after 5 seconds |