For the most recent entries see the Petri Nets Newsletter.

Formulas, Processes, and Petri Nets Applied to the Specification and Verification of a HDLC Protocol.

Anton, M. Duque; Bretschneider, M.

In: Diaz, J.; et al.: Lecture Notes in Computer Science, Vol. 352; TAPSOFT'89, Vol. 2: Advanced Seminar on Foundations of Innovative Software Development, II, and Colloquium on Current Issues in Programming Language (CCIPL), pages 140-154. Berlin: Springer-Verlag, 1989.

Abstract: In specifying a variant of a HDLC protocol a method is illustrated that addresses three problems: decomposition of a complex system into simple components, hierarchical design of a protocol and modular verification of the protocol w.r.t. the service specification. Descriptions of basic protocol functions are obtained considering projections of the global protocol behaviour. The behaviour is formalized using formulas, process terms and Petri nets.

Keywords: HDLC protocol; decomposition; hierarchical protocol design; modular protocol verification; OSI reference model.

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

Back to the Petri Nets Bibliography