Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application

  • Carla Capellmann
  • Heinz Dibold
Project Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


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 lest case was defined. The application of OPM is illustrated, as well as the resulting HCPN 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.


Specification Language Symbolic Execution Essential Activity Intelligent Network Service Subscriber 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AMS89]
    Ambrosch, W.D.; Maher, A. and Sasscer.B.: The Intelligent Network. A Joint Study by Bell Atlantic, IBM and Siemens. Springer-Verlag, 1989.Google Scholar
  2. [DeMa78]
    DeMarco, T.: Structured Analysis and System Specification. Yourdon Press, New York, 1978.Google Scholar
  3. [Design/CPN]
    Design/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991.Google Scholar
  4. [Dibo88]
    Dibold, H.: A Method for the Support of Specifying the Requirements of Telecommunication Systems. Proceedings of the International Zurich Seminar, Zurich, 1988, pp. 115–122.Google Scholar
  5. [Dibo90]
    Dibold, H.: Intelligente Netze — Einführung und Grundlagen. Der Fernmelde-Ingenieur, 44(1990)4.Google Scholar
  6. [Dibo92a]
    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
  7. [Dibo92b]
    Dibold, H.: Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme. Fachbericht des GI/ITG Arbeitskreises “Formale Beschreibungstechniken für verteilte Systeme”, Springer-Verlag, Berlin, 1992, pp. 195–221.Google Scholar
  8. [HMT87]
    Harper, R.; Milner, R.; Tofte, M.: The Semantics of Standard ML, Version 1. Technical Report ECS-LFCS-87-36, University of Edinburgh, LFCS, Department of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, August 1987.Google Scholar
  9. [HP87]
    Hatley, D.J.: Pirbhai, I.A.: Strategies for Real-Time System Specification. Dorset House Publishing, New York, 1987.Google Scholar
  10. [Jens92]
    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
  11. [MP84]
    McMemamin, S.M.; Palmer, J.F.: Essential Systems Analysis. Yourdon Press, New York, 1984.Google Scholar
  12. [Pete81]
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems; Prentice Hall Inc., Engel wood Cliffs, N.J. 07632, 1981.Google Scholar
  13. [Wiks87]
    Wikström, Å.: Functional Programming using Standard ML. Prentice-Hall International Series in Computer Science, 1987. ISBN 0-13-331968-7, ISBN 0-13-331661-0 Pbk.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Carla Capellmann
    • 1
  • Heinz Dibold
    • 1
  1. 1.Research CenterDeutsche Bundespost TelekomDarmstadt

Personalised recommendations