Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Ambrosch, W.D.; Maher, A. and Sasscer.B.: The Intelligent Network. A Joint Study by Bell Atlantic, IBM and Siemens. Springer-Verlag, 1989.
DeMarco, T.: Structured Analysis and System Specification. Yourdon Press, New York, 1978.
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, pp. 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 funktionalen Verhaltens verteilter Systeme. Fachbericht des GI/ITG Arbeitskreises “Formale Beschreibungstechniken für verteilte Systeme”, Springer-Verlag, Berlin, 1992, pp. 195–221.
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.
Hatley, D.J.: Pirbhai, I.A.: Strategies for Real-Time System Specification. Dorset House Publishing, New York, 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.
McMemamin, S.M.; Palmer, J.F.: Essential Systems Analysis. Yourdon Press, New York, 1984.
Peterson, J.L.: Petri Net Theory and the Modeling of Systems; Prentice Hall Inc., Engel wood Cliffs, N.J. 07632, 1981.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Capellmann, C., Dibold, H. (1993). Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_66
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_66
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive