In: ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, October 5-7, 2004, Volendam, Netherlands: Proceedings of the Poster session of 12th Annual Meeting of the IEEE, pages 73-75. October 2004.
Abstract: Proof of the invariance of Petri net model for connection and disconnection phases of TCP protocol was implemented. Decomposition of Petri net model into functional subnets was realized. Calculation of invariants was implemented in the process of sequential composition, which allows the essential acceleration of computations.
Keywords: TCP; verification; Petri net; invariant; decomposition; functional subnet.