In: Specification and Verification of Concurrent Systems: Proceedings BCS-FACS Workshop. Univ. Stirling, UK., 1988.
Abstract: The authors discuss their experience using Numerical Petri Nets (NPNs) and the CCITT Specification and Description Language (SDL) to formally specify, design and implement protocols. NPNs are a type of high-level Petri net which contain inhibitor arcs. SDL is a standardized language widely used for the specification and implementation of telecommunications protocols. The authors describe the PROTEAN and PROTGEN systems which aid the analysis of NPN specifications.