Timed protocol example

This example shows how the CP-net from “Simple Protocol” can be turned into a timed CP-net. The timed CP-net specifies how long time the individual operations take and how long time the sender should wait before it makes a retransmission. The timed CP-net can be used to experiment with different waiting times to determine which one is the best - in the sense that it transmits the message fast without using the network too much (i.e. without making too many retransmissions).

The example is taken from Sect. 5.5 of Vol. 2 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\\TimedProtocol

The files are

• timedprotocol.zip (The net to load in CPN Tools)
• timedprotocol.pdf (A document describing the model)