For the most recent entries see the Petri Nets Newsletter.

Using high-level Petri nets in the field of intelligent networks.

Capellmann, C.; Dibold, H.; Herzog, U.

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.

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

Back to the Petri Nets Bibliography