Resource Allocation

Abstract

This is a small toy example which is well-suited as a first introduction to occurrence graphs. The analysis of the occurrence graph is described in great detail, explaining the basic concepts of occurrence graphs. Hence, it can be read by people with no prior knowledge of occurrence graphs.

The CPN model describes how two different kinds of processes are sharing three different kinds of resources. The model is identical to the "Resource Allocation" presented in "Introductory Examples" (which we recommend to study before this example).

The example is taken from Sect. 1.1 of Vol. 2 of the CPN book.

Developed and Maintained by:

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