Dining Philosophers

Abstract

This is a small toy example which is well-suited as an introduction to occurrence graphs. The analysis of the occurrence graph 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.

The example is taken from Sect. 1.6 of Vol. 2 of the CPN book. Most of the detailed explanation is taken from the Occurrence Graph Manual, which uses the Dining Philosophers as its main example.

Developed and Maintained by:

Kurt Jensen, Aarhus University, Denmark (kjensen@daimi.au.dk)
Last modified: Mon Sep 10 12:53:15 2001 -- Design/CPN Online admin