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 presented in Introductory Examples (which we recommend to study before this […]