Abstract
In order to widen the applicability of Coloured Petri Nets for the specification and design of large scale distributed applications, a framework has been developed that supports the interaction of Design/CPN and Java processes. The underlying architecture can be used for other tools. Thereby a seamless embedding of the two worlds of Petri nets and object-oriented programming is achieved, allowing problem oriented modelling at different abstraction levels in a fully distributed environment. The general possibilities to connect Coloured Petri Net simulations with remote processes are discussed and a specific implementation of the required framework is sketched. Promising application areas are named and for some of them concrete example models are provided.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Heinrich Biallas. Realisierung der verteilten Ausführung von gefärbten Petrinetzen. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, November 1997.
The OMG Corba Page. WWW page at http://www.omg.org/corba/. Contains references to the current specification of CORBA/IIOP (on 05-15-98, this is version 2.2), a discussion of the Object Management Architecture, and many more links.
Design/CPN Online. WWW page at http://www.daimi.au.dk/designCPN/.
Margret Freund-Breuer and Olaf Fricke. Spezifikation mit gefärbten Petri-Netzen am Beispiel des Börsenspiels. Studienarbeit, Fachbereich Informatik, Universität Hamburg, September 1993.
Dirk Hauschildt. A Petri Net Implementation. Fachbereichsmitteilung FBI-HHM-145/87, Universität Hamburg, Fachbereich Informatik, 1987.
The Java Home Page. WWW page at http://java.sun.com. Contains references to online material as well as to many introductory books and technical papers.
Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1992: Vol. 1, 1994: Vol. 2, 1997: Vol. 3.
Olaf Kummer, Daniel Moldt, and Frank Wienberg. A Framework for Interacting Design/CPN-and Java-Processes. In Kurt Jensen, editor, Workshop on Practical Use of Coloured Petri Nets and Design/CPN, pages 131–150, Department of Comupter Science, University of Aarhus, 1998. number 532 in DAIMI PB.
Meta Software Corporation, Cambridge, MA, USA. Design/CPN Handbook Version 2.0, 1993.
Daniel Moldt. Höhere Petrinetze als Grundlage für Systemspezifikationen. Dissertation, Universität Hamburg, Fachbereich Informatik, August 1996.
Daniel Moldt and Christoph Maier. Coloured Object Petri Nets — A Formal Technique for Object Oriented Modelling. In B. Farwer, D. Moldt, and M.-O. Stehr, editors, Petri Nets in System Engineering, Modelling, Verification and Validation, pages 11–19, Fachbereich Informatik, Univ. Hamburg, 1997. FBI-HH-B-205/97.
Daniel Moldt and Frank Wienberg. Multi-Agent-Systems based on Coloured Petri Nets. In Pierre Azéma and Gianfranco Balbo, editors, Application and Theory of Petri Nets1997, number 1248 in Lecture Notes in Computer Science, pages 82–101, Berlin, 1997. Springer Verlag.
Jens Linneberg Rasmussen and Mejar Singh. Mimic/CPN — A Graphics Animation Utility for Design/CPN. User’s Manual Version 1.5. Computer Science Department, Aarhus University, December 1995.
The Reference Net Workshop. WWW page at http://www.renew.de. Contains tool documentation including an introdution to the refernce net formalism.
Rüdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In Jörg Desel, editor, 19th International Conference on Application and Theory of Petri nets, number 1420 in LNCS, Berlin, 1998. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kummer, O., Moldt, D., Wienberg, F. (1999). Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. In: Donatelli, S., Kleijn, J. (eds) Application and Theory of Petri Nets 1999. ICATPN 1999. Lecture Notes in Computer Science, vol 1639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48745-X_6
Download citation
DOI: https://doi.org/10.1007/3-540-48745-X_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66132-0
Online ISBN: 978-3-540-48745-6
eBook Packages: Springer Book Archive