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.