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 |