Skip to main content
SpringerLink
Log in

Using high-level petri nets in the field of intelligent networks

  • Functional Modelling and Analysis
  • Chapter
  • First Online:
Application of Petri Nets to Communication Networks

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1605))

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 at our premises, we introduce the requirements we have to pose on a formal specification language. We present three selected applications of high-level Petri nets in the area of Intelligent Networks. They cover modelling aspects under a functional-oriented modularisation as well as within an object-oriented approach. Formal verification techniques are addressed additionally. Our experiences prove, 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. We discuss some of them.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Capellmann, C.; Dibold, H.: Petri Net based Specifications of Services in an Intelligent Network-Experiences gained from a Test Case Application. In Lecture Notes in Computer Science/Application and Theory of Petri Nets 1993, Vol. 691, pp. 542–551, Springer-Verlag, 1993. ISBN 3-540-56863-8.

    Google Scholar 

  2. Capellmann, C.; Dibold, H.: The Object-Oriented Petri Net Method for the Specification of IN Services. Proceedings of the International Workshop on Intelligent Networks “Software Methods and Tools for IN Services”, pp. 63–76, Lappeenranta/Finland, August 1993.

    Google Scholar 

  3. Capellmann, C.; Dibold, H.: Formal Specifications of Services in an Intelligent Network using High-Level Petri Nets. In Proceedings of the Case Studies Tutorial/Petri Nets'94, Zaragoza/Spain, June 1994.

    Google Scholar 

  4. Capellmann, C.; Demant, R; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.: Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction. In Proceedings of the Intelligent Networks 1996, Passau, March 1996.

    Google Scholar 

  5. Christensen, S.; Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Lecture Notes in Computer Science 691-M.A.Marsan (Ed.) Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 1993.

    Google Scholar 

  6. Combes, P.; Michel, M.; Renard, B.: Formal verification of telecommunication service interactions using SDL methods and tools. In: Faergemand, O.; Sarma, A. (eds.): SDL'93: Using Objects, pp 441–452. Elsevier, 1993.

    Google Scholar 

  7. Design/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991.

    Google Scholar 

  8. Dibold, H.: A Method for the Support of Specifying the Requirements of Telecommunication Systems. Proceedings of the International Zurich Seminar, Zurich, 1988, p. 115–122.

    Google Scholar 

  9. Dibold, H.: Intelligente Netze-Einführung und Grundlagen. Der Fernmelde-Ingenieur, 44 (1990) 4.

    Google Scholar 

  10. Dibold, H.: Hierarchical Coloured Petri Nets for the Description of Services in an Intelligent Network. Proceedings of the International Zurich Seminar, Zurich, 1992, pp. 165–178.

    Google Scholar 

  11. Dibold, H.: Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktional. Verhaltens verteilter Systeme. D. Hogrefe (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Reihe: Informatik aktuell, Springer-Verlag, Berlin, 1992, 195–221.

    Google Scholar 

  12. Graham, I.: Object-oriented methods. Addison-Wesley, Wokingham, 1991.

    MATH  Google Scholar 

  13. Herzog, U.: Petri Net based Modelling of Interactions between Basic Call State Model and Service Logic in an Intelligent Network. Protocol workshop within the 16th International Conference on Application and Theory of Petri Nets, Torino, June 1995.

    Google Scholar 

  14. Harper, R.; Milner, R.; Tofte, M.: The Semantics of Standard ML, Version 1. Technical Reports ECS-LFCS-87-36, University of Edinburgh, LFCS, Department of Computer Science, University of Edinburgh, The King's Buildings, August 1987.

    Google Scholar 

  15. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1. EATCS Monographs on Theoretical Computer Science, Springer Verlag, Berlin, 1992.

    Google Scholar 

  16. Mimic/CPN. A. Graphical Simulation Utility for Design/CPN. User's Manual, Version 1.5.

    Google Scholar 

  17. Nitsche, U.: Propositional linear temporal logic and language homomorphisms. In: Nerode, A.; Matiyasevich, Y.V. (eds.): Logical Foundations of Computer Science '94-Logic at St. Petersburg, Vol 813 of LNCS, pp 265–277. Springer Verlag, 1994.

    Google Scholar 

  18. Nitsche, U.: A verification method based on homomorphic model abstraction. In: Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, p 393, Los Angeles, 1994. ACM Press.

    Google Scholar 

  19. Nitsche, U.: Verification and Behavior Abstraction-Towards a Tractable Technique for Large Distributed Systems. To appear in the Journal of Systems and Software, Special Issue on Software Engineering for Distributed Computing, 1996.

    Google Scholar 

  20. Nitsche, U.; Ochsenschläger, P.: Approcimately Satisfied Properties of Systems and Simple Language Homorphisms. Arbeitspapiere der GMD Nr. 965, December 1995.

    Google Scholar 

  21. Ochsenschläger, P.: Verification of cooperating systems by simple homorphisms using the Product Net Machine. In: Desel, J.; Oberweis, A.; Reisig, W. (eds.): Workshop: Algorithmen und Werkzeuge für Petrinetze, pp 48–53. Humboldt Universität Berlin, 1994.

    Google Scholar 

  22. Ochsenschläger, P., Prinoth, R.: Modellierung verteilter Systeme-Kozeption, formale Spezifikation und Verifikation mit Produktnetzen. Vieweg Verlag, Wiesbaden, 1995.

    Google Scholar 

  23. EURESCOM Project P103 “Evolution on the Intelligent Network”: Framework for Service Description with Supporting Architecture. Deliverable D6a, 1995.

    Google Scholar 

  24. Peterson, J.L.: Petri Net Theory and the Modelling of Systems; Prentice Hall Inc., Engelwood Cliffs, N.J., 07632, 1981.

    MATH  Google Scholar 

  25. ITU (CCITT) Recommendations Q.12xx-Q series: Intelligent Network Recommendation, 1992.

    Google Scholar 

  26. Reenskaug, T. et.al.: OORASS: Seamless support for the creation and maintenance of object-oriented systems. Journal of Object-Oriented Programming, October 1992.

    Google Scholar 

  27. RACE Project SCORE: Report on Methods and Tools for Service Creation. Part I: Summary. R2017/SCOWP2/DS/P/027/b2. 1994.

    Google Scholar 

  28. TINA-C: Definition of Service Architecture. TB_B.MDC.012_1.0_93. 1993.

    Google Scholar 

  29. Thörner, J.: Intelligent Networks, Artech House Inc., Boston, London, 1994.

    Google Scholar 

  30. Wikström, Â.: Functional Programming using Standard ML. Prentice-Hall Internat. Series in Computer Science, 1987. ISBN 0-13-33 1968-7, ISBN 0-13-33 1661-0 Pbk.

    Google Scholar 

  31. ITU (CCITT) Recommendation Z. 100: SDL, 1992.

    Google Scholar 

  32. ITU (CCITT) Recommendation Z. 120: MSC, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technologiezentrum Darmstadt, Deutsche Telekom, P.O.B. 100003, D-64276, Darmstadt

    Carla Capellmann, Heinz Dibold & Uwe herzog

Authors
  1. Carla Capellmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heinz Dibold
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Uwe herzog
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan Billington Michel Diaz Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Capellmann, C., Dibold, H., herzog, U. (1999). Using high-level petri nets in the field of intelligent networks. In: Billington, J., Diaz, M., Rozenberg, G. (eds) Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol 1605. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0097771

Download citation

  • DOI: https://doi.org/10.1007/BFb0097771

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65870-2

  • Online ISBN: 978-3-540-48911-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation