Symmetric Communication between Coloured Petri Net Simulations and Java-Processes

  • Olaf Kummer
  • Daniel Moldt
  • Frank Wienberg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1639)

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.

Keywords

Coloured Petri Nets Design/CPN Distributed Simulation Framework Java Prototyping Computer Tools Workflow 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Heinrich Biallas. Realisierung der verteilten Ausführung von gefärbten Petrinetzen. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, November 1997.Google Scholar
  2. 2.
    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.
  3. 3.
    Design/CPN Online. WWW page at http://www.daimi.au.dk/designCPN/.
  4. 4.
    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.Google Scholar
  5. 5.
    Dirk Hauschildt. A Petri Net Implementation. Fachbereichsmitteilung FBI-HHM-145/87, Universität Hamburg, Fachbereich Informatik, 1987.Google Scholar
  6. 6.
    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.
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    Meta Software Corporation, Cambridge, MA, USA. Design/CPN Handbook Version 2.0, 1993.Google Scholar
  10. 10.
    Daniel Moldt. Höhere Petrinetze als Grundlage für Systemspezifikationen. Dissertation, Universität Hamburg, Fachbereich Informatik, August 1996.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    The Reference Net Workshop. WWW page at http://www.renew.de. Contains tool documentation including an introdution to the refernce net formalism.
  15. 15.
    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.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Olaf Kummer
    • 1
  • Daniel Moldt
    • 1
  • Frank Wienberg
    • 1
  1. 1.Dept. for InformaticsUniversity of HamburgHamburg

Personalised recommendations