For the most recent entries see the Petri Nets Newsletter.

Protocol Analysis and Implementation Using NPNs and SDL.

Parker, K.R.; Berger, R.A.; Cheng, K.E.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography