Resource Allocation

Abstract

This is a small toy example which is well-suited as a first introduction to CP-nets. The CPN model is described in great detail, explaining the basic concepts of CP-nets. Hence, it can be read by people with no/little Petri net background.

The CPN model describes how two different kinds of processes are sharing three different kinds of resources. It is simple to understand and easy to simulate/modify.

The example is taken from Sect. 1.2 of Vol. 1 of the CPN book.

Explanation (77 kb)
Unix Files (For Design/CPN 3.x) (19 kb)
Unix Files (For Design/CPN 4.x) (19 kb)
Mac Files (51 kb) - Binhex'ed self-extracting archive

Developed and Maintained by

Kurt Jensen, Aarhus University Denmark (kjensen@daimi.au.dk)

Last modified: Mon Sep 10 12:52:29 2001 -- Design/CPN Online admin