Study Of TCP Protocol Based On Petri Net

Computer network technology is one of the most rapidly-developing computer technologies. Computer network protocol is the key point to keep network steady and work reliable. As we all know, protocol is the soul of computer network. The increase of protocol design and complexity results in the start of protocol engineering technology. Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance. Formal Description Techniques are the key of the whole protocol engineering, which not only provide unambiguity description, but also perform formally analysis and thinnings. Currently there are many kinds of well-developed Formal Description Techniques. The Petri Net, which is based on the concept of asynchronous and intercurrent, is one of the most popular description techniques.This paper concentrates on Petri Net technology and its applications in the network protocol. Firstly we introduce the application range about the Formal Description Techniques in the protocol engineering, and the basic concepts and development conditions about Petri Net. While the stochastic Petri Nets use in anglicizing of the system performance, the state space increases in exponential as the scale of the system accretion, that lead to solving stabilization probability more complexity. In allusion to this deficiency, we put forward a kind of stochastic colored Petri net (SCPN), analyze the methods of the Stochastic colored Petri Nets (SPN) used to modeling and performance quantitative analysis.By analyzing TCP protocol detailed, Colored Petri Net which is one of advance Petri Net, is used to build a formal model of connection construct model and data transmit model. We get the Reachability Tree by using CNP Tool to emulate the Color Petri Nets modelWith systematic conclusion on the property of Petri Net, We valiating the logic correctness of TCP protocol by the methord - Reachability Tree of Petri Net to analyze the model.Lastly, we use Stochastic colored Petri Nets to make a rational analysis about the model of the TCP protocol. These work has an important role in deeply understanding,analyzing and realizing the protocol.