Shows simple execution of a dead-locking Dining Philosophers example created using coloured Petri nets in CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Model Demo
![](https://westergaard.eu/wp-content/uploads/2018/03/Model-Demo.jpeg)
Shows simple execution of a dead-locking Dining Philosophers example created using coloured Petri nets in CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]