Simple Protocol

Abstract

This is a small toy example which is well-suited as an introduction to occurrence graphs. The analysis of the occurrence graph is described in great detail.

The CPN model describes a simple protocol by which a sender can transfer a number of packets to a receiver. The model is identical to the "Simple Protocol" presented in "Introductory Examples" (which we recommend to study before this example).

Developed and Maintained by:

Kurt Jensen, Aarhus University, Denmark (kjensen@daimi.au.dk)
Last modified: Tue May 23 12:58:19 MET DST 2000 -- Design/CPN Online admin