Model Demo Posted on October 5, 2009 (May 18, 2018) by Michael 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/