Dining Philosophers. | CPN Tools help |
Example Nets |
The CPN model describes how a number of processes (philosophers) share common resources (chopsticks). The Dining Philosophers is one of the traditional examples used by computer scientists to illustrate new concepts in the area of synchronisation and concurrency.
The example is taken from Sect. 1.6 of Vol. 2 of the CPN book. Most of the detailed explanation is taken from the http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html.
Documentation on the state space tool can be found here use state space tool
The files for this net can be found in a subdir of cpntools called Samples\DiningPhilosophers
The files are