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.
Back to the Petri Nets Bibliography