Dining Philosophers.
Example Nets


This is a small toy example which is well-suited as an introduction to state spaces (also called occurrence graphs). The analysis of the state space is described in great detail and a large number of different queries are illustrated.

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.

Dining Philosophers

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