Ring protocol example

This is a small toy example which is well-suited as a first introduction to hierarchical CP-nets. The use of substitution transitions and fusion sets are described in great detail, but do note that fusion places are not supported in CPN Tools at this time. The CPN model describes how a number of different sites communicate via a ring network.

Ring Protocol

The example is taken from Sect. 3.1 of Vol. 1 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\\RingProtocol.

The files are