For the most recent entries see the Petri Nets Newsletter.

An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks.

Chaly, Dmitry J.; Sokolov, Valery A.

In: Volume 2763 of Lecture Notes in Computer Science, pages 66-75. August 2003.

Abstract: The paper deals with modelling and analysis of the Transmission Control Protocol (TCP) by means of Coloured Petri Nets (CPN). We present our CPN model and examples of how correctness and performance issues of the TCP protocol can be studied. We show a way of extension of this model for representing the Adaptive Rate Transmission Control Protocol (ARTCP). Our model can be easily configured and used as a basis for constructing formal models of future TCP modifications.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography