Ring Protocol
Example Nets


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 the CPN book. For more information on the CPN books please look at: http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html

The files for this net can be found in a subdir of cpntools called Samples\RingProtocol.

The files are