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 the CPN book.
The files for this net can be found in a subdir of cpntools called Sample Nets\SimpleProtocol
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)