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.