An Analysis of TCP Connection Management Using Coloured Petri Nets

摘要

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.