This is a small toy example describing a simple protocol by which a sender can transfer a number of packets to a receiver. The communication medium may loose packets and packets may overtake each other. Hence, it may be necessary to retransmit packets and to ignore doublets and packets that are out of order.

Simple Protocol

Simple Protocol

The example is a modified version of a timed CP-net presented in Sect. 5.5 of

K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical
Use, Monographs on Theoretical Computer Science, vol. 2:Analysis Methods.
Springer-Verlag, Berlin (1997).

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

The files are

Resource allocation example
Timed resource allocation example

You must be logged in to post a comment.