To run dining philosophers simulation, use DPH:
$ DPH
Philosopher 0 locked 0 and 1
Philosopher 3 locked 3 and 4
Philosopher 0 released 0 and 1
Philosopher 1 locked 1 and 2
Philosopher 3 released 3 and 4
Philosopher 4 locked 4 and 0
Philosopher 1 released 1 and 2
Philosopher 2 locked 2 and 3
Philosopher 4 released 4 and 0
Philosopher 0 locked 0 and 1
Philosopher 2 released 2 and 3
Philosopher 3 locked 3 and 4
Philosopher 0 released 0 and 1
Philosopher 1 locked 1 and 2
Philosopher 3 released 3 and 4
Philosopher 4 locked 4 and 0
Philosopher 1 released 1 and 2
Philosopher 2 locked 2 and 3
Philosopher 0 locked 0 and 1
Philosopher 4 released 4 and 0
Philosopher 2 released 2 and 3
Philosopher 3 locked 3 and 4