This is a small toy example which is well-suited as an introduction to occurrence graphs. The analysis of the occurrence graph is described in great detail.
The CPN model describes a simple protocol by which a sender can transfer a number of packets to a receiver. The model is identical to the Simple protocol example presented in “Introductory Examples” (which we recommend to study before this example).
Documentation on the state space tool can be found here.
The files for this net can be found in a subdir of cpntools called Samples\\SimpleProtocol
The files are