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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
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.
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.
Design/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991.
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.
Dibold, H.: Intelligente Netze-Einführung und Grundlagen. Der Fernmelde-Ingenieur, 44 (1990) 4.
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.
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.
Graham, I.: Object-oriented methods. Addison-Wesley, Wokingham, 1991.
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.
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.
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1. EATCS Monographs on Theoretical Computer Science, Springer Verlag, Berlin, 1992.
Mimic/CPN. A. Graphical Simulation Utility for Design/CPN. User's Manual, Version 1.5.
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.
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.
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.
Nitsche, U.; Ochsenschläger, P.: Approcimately Satisfied Properties of Systems and Simple Language Homorphisms. Arbeitspapiere der GMD Nr. 965, December 1995.
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.
Ochsenschläger, P., Prinoth, R.: Modellierung verteilter Systeme-Kozeption, formale Spezifikation und Verifikation mit Produktnetzen. Vieweg Verlag, Wiesbaden, 1995.
EURESCOM Project P103 “Evolution on the Intelligent Network”: Framework for Service Description with Supporting Architecture. Deliverable D6a, 1995.
Peterson, J.L.: Petri Net Theory and the Modelling of Systems; Prentice Hall Inc., Engelwood Cliffs, N.J., 07632, 1981.
ITU (CCITT) Recommendations Q.12xx-Q series: Intelligent Network Recommendation, 1992.
Reenskaug, T. et.al.: OORASS: Seamless support for the creation and maintenance of object-oriented systems. Journal of Object-Oriented Programming, October 1992.
RACE Project SCORE: Report on Methods and Tools for Service Creation. Part I: Summary. R2017/SCOWP2/DS/P/027/b2. 1994.
TINA-C: Definition of Service Architecture. TB_B.MDC.012_1.0_93. 1993.
Thörner, J.: Intelligent Networks, Artech House Inc., Boston, London, 1994.
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.
ITU (CCITT) Recommendation Z. 100: SDL, 1992.
ITU (CCITT) Recommendation Z. 120: MSC, 1992.
Author information
Authors and Affiliations
Editor information
Rights 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