Protocol with Timer

Abstract

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 - modelled 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".

Developed and Maintained by

Kurt Jensen, Aarhus University Denmark (kjensen@daimi.au.dk)

Last modified: Mon Mar 27 15:45:00 MET DST 2000 -- Design/CPN Online admin