This is a small toy example describing a simple protocol by which a sender can transfer a number of packets to a receiver. The communication medium may loose packets and packets may overtake each other. Hence, it may be necessary to retransmit packets and to ignore doublets and packets that are out of order.
The example is a modified version of a timed CP-net presented in Sect. 5.5 of Vol. 2 of the CPN book.
For more information on the CPN books please look at: http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html
The files for this net can be found in a subdir of cpntools called Samples\SimpleProtocol
The files are
- SimpleProtocol.zip (The net to load in CPN Tools)
- SimpleProtocol_RP.zip (The reporting variant to load in CPN Tools)
- SimpleProtocol_IO.zip (The file I/O variant to load in CPN Tools)
- SimpleProtocol.pdf (A document describing the model)