Visualising the behaviour of intelligent networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1385, Issue , 1998, Pages 174-189

  Capellmann, Carla ^a   Christensen, Søren ^b   Herzog, Uwe ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; PETRI NETS; VISUALIZATION;

COLOURED PETRI NETS; DISTRIBUTED SYSTEMS; FORMAL DESCRIPTION TECHNIQUES; FORMAL SPECIFICATION TECHNIQUES; NEW SERVICES; TOOL SUPPORT;

INTELLIGENT NETWORKS;

EID: 33646762267     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053505     Document Type: Conference Paper

References (18)

1. Capellmann, C; Dibold, H.: Formal Specifications of Services in an Intelligent Network using High-Level Petri Nets. In Proceedings of the Case Studies Tuto-rial/Petri Nets'94, Zaragoza/Spain, June 1994.
2. 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.
3. 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, Lappeen-ranta/Finland, August 1993.
4. Christensen, S.: Message Sequence Charts. User's Manual. January 1997. Available from http://www.daimi.aau.dk/designCPN/.
5. Dibold, H.: Intelligente Netze — Einführung und Grundlagen. Der Fernmelde-Ingenieur, 44 (1990) 4.
6. 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.
7. 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.
8. ITU (CCITT) Recommendation Z.100: SDL, 1992.
9. ITU (CCITT) Recommendation Z.120: MSC, 1992.
10. ITU-T SG XI: Q.1200 Series of Recom. for Intelligent Networks, ITU-T, 1992.
11. ITU-T SG XI: Q.1214, ITU-T, 1992.
12. ITU-T SG XI: Q.1219, ITU-T, 1992.
13. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992.
14. Jensen, K.: A Breif Introduction to Coloured Petri Nets. In: Ed Brinksma (Ed.): Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Compueter Science 1217, Springer-Verlag, 1997.
15. Jensen, K. et al.: Design/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991. Available from http://www.daimi.aau.dk/designCPN/.
16. Peterson, J.L.: Petri Net Theory and the Modelling of Systems; Prentice Hall Inc., Engelwood Cliffs, N.J. 07632, 1981.
17. Rasmussen, J.L.; Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User's Manual, Version 1.5. Available from http://www.daimi.aau.dk/designCPN/.
18. Thörner, J.: Intelligent Networks, Artech House Inc., Boston, London, 1994.