Protocol with timer

This example shows how the CP-net from ”Simple Protocol” can be modified so that the retransmission of messages is controlled by a simple timer - modeled by means of two places and two transitions. The CP-net is not using time stamps and hence it should not be confused with the ”Timed protocol example”.

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

The files are

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