Timed Protocol

Abstract

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.

Developed and Maintained by

Kurt Jensen, Aarhus University Denmark (kjensen@daimi.au.dk)
Last modified: Mon Sep 10 12:51:50 2001 -- Design/CPN Online admin