Modelling and analysis of DOD TCP/IP protocol using numerical Petri nets
Hassan Mehrpour, A.E. Karbowiak · 2002
The standards for computer communications protocols developed by the Department of Defense (DOD) require formal specification and verification before they can be effectively used. The authors describe an attempt to formally specify the transmission control protocol (TCP) and the internet protocol (IP). A numerical Petri net (NPN) is used for the formal description of the protocols. A top-down modular approach is adopted to enhance the readability of the NPNs. The total specification may then by obtained by combining the modules into a three-dimensional structure. The protocol is formally specified for one connection. Computer simulation results using the software package PROTEAN (protocol emulation and analysis) are presented.>