In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 542-551. Springer-Verlag, 1993.
Abstract: This paper summarises a project, which studied the feasibility of the Open Petri Net Method (OPM) - a specification method using Hierarchical Coloured Petri Nets as specification language - in the telecommunication field, especially for the specification of services in an Intelligent Network (IN). To this end an IN service test case was defined. The application of OPM is illustrated, as well as the resulting IICPN model of the IN test case service. The main project results are presented: they are promising, but in view of the special requirements valid in the telecommunication area, the usage of Petri nets for specification purposes still faces some problems.