In: Yeo, S.P.: Communication Systems: Towards Global Integration. Proceedings of the ICCS Confernce, 1990, Singapore; Vol. 1, pages 7.3/1-6. Amsterdam, Netherlands: Elsevier, 1990.
Abstract: The standards for computer communications protocols developed by the Australian Department of Defense (DOD) require formal specification and verification. 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 these protocols. A top down modular approach is adopted to enhance the readability of the NPNs. The total specification may then be obtained by combining the modules. The authors conclude by looking at the computer simulation results using the software package PROTEAN (protocol emulation and analysis).
Keywords: specification (and) verification by numerical net(s); transmission control protocol; internet protocol; top down modular approach; PROTEAN, net tool; protocol emulation.