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.
Screenshot of the net
The example is taken from Sect. 1.2 of
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical
Use, Monographs on Theoretical Computer Science, vol. 1:Basic Concepts. Springer-Verlag, Berlin (1997).
The files for this net can be found in a subdir of cpntools called Samples\\ResourceAllocation.
The files are
You must be logged in to post a comment.