In: Billington, J.; Diaz, M.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 1605: Application of Petri Nets to Communication Networks, pages 1-36. Springer-Verlag, 1999.
Abstract: Telecommunication systems in general, and hence intelligent networks too, are large distributed systems with a high degree of concurrency. To develop and investigate specific aspects of such systems, adequate formal specification techniques are needed. Motivated by a short historical overview of Petri net usage, the requirements posed on a formal specification language are introduced. Three selected applications of high-level Petri nets in the area of intelligent networks are presented. They cover modeling aspects under a functional-oriented modularization as well as within an object-oriented approach. Formal verification techniques are addressed additionally. Experiences indicate that, on a technical level, high-level Petri nets are well suited to specify telecommunication systems and services. However, to enable their broader usage in the telecommunication area, still some hurdles have to be taken.
Keywords: high-level Petri nets, intelligent networks.