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).

Timed Protocol

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