Dissertation. Manhattan: Kansas State University, 1985.
Abstract: A general methodology based on Numerical Petri Nets (NPNs) for modeling and verification of local computer network (LCN) data link layer protocols was developed. In the general methodology, categorization of protocols was performed to provide a guideline as to the modeling and verification of protocols. The methodology includes a number of new concepts and an extension of the NPN method to achieve the modeling and verification of fully distributed protocols.