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.
Protocol With Timer
The files for this net can be found in a subdir of cpntools called Samples\\ProtocolWithTimer.
The files are
You must be logged in to post a comment.