For the most recent entries see the Petri Nets Newsletter.

An Analysis of TCP Connection Management Using Coloured Petri Nets.

Han, Bing; Billington, Jonathan

In: Proc. 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI'2001), pages 590-595. 22-25 July 2001. Orlando, Florida, USA.

Abstract: The Transmission Control Protocol (TCP) is the most important transport protocol in the Internet. In this paper, we use Coloured Petri Nets (CPNs) to specify and analyse TCP connection management, an integral part of TCP. Through the modelling and analysis process, problems with the TCP state diagram are detected and three modifications to it are proposed. The analysis of the corresponding CPN model (based on the modified FSM) shows that the modifications are appropriate and correct.

Keywords: Transmission Control Protocol, TCP Connection Management, Coloured Petri Nets, Finite State Machine, Reachability Analysis.

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

Back to the Petri Nets Bibliography