For the most recent entries see the Petri Nets Newsletter.

A Formal Executable Specification of the ISDN Basic Rate Interface.

Huber, Peter

In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 1-21. June 1991.

Abstract: The authors describe how Hierarchical Colored Petri Nets (CP-nets) were used to build a specification of a communication protocol that defines the procedures required for establishing, maintaining, and clearing phone connections at the Integrated Services Digital Network Basic Rate Interface. The authors present the applied strategies for constructing and testing the actual Hierarchical CP-net model. Based on their experience, they discuss how the current work practices may be improved by building such graphical, directly executable specifications. The suitability of Hierarchcal CP-nets for deriving one model with all necessary details is described.

Keywords: executable specification (of the) integrated services digital network basic rate interface; ISDN; phone connection; hierarchical coloured net.


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

Back to the Petri Nets Bibliography