Petri Nets as Token Objects

An Introduction to Elementary Object Nets
  • Rüdiger Valk
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1420)

Abstract

The model of Elementary Object System is introduced and motivated by several examples and applications. Object systems support a modeling of systems by Petri nets following the paradigm of Object-Oriented Modeling. They are composed of a System Net and one or more Object Nets which can be seen as token objects of the system net. By this approach an interesting and challenging two-level system modeling technique is introduced. Similar to the object-oriented approach, complex systems are modeled close to their real appearance in a natural way to promote clear and reliable concepts. Applications in fields like work-flow, flexible manufacturing or agent-oriented approaches (mobile agents and/or intelligent agents as in AI research) are feasible. This paper gives an introduction with several examples, but only few definitions and no theorems, which can be found, however, in a more elaborated paper [19].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    W. v.d. Aalst. private communication. 1997.Google Scholar
  2. 2.
    U. Becker and D. Moldt. Object-oriented concepts for coloured petri nets. In Proc. IEEE Int. Conference on Systems, Man and Cybernetics, volume 3, pages 279–286, 1993.Google Scholar
  3. 3.
    J. Ezpeleta and J.M. Colom. Automatic synthesis of colored petri nets for the control of fms. IEEE Transactions on Robotics and Automation, 13(3):327–337, 1997.CrossRefGoogle Scholar
  4. 4.
    E. Jessen and R. Valk. Rechensysteme — Grundlagen der Modellbildung. Springer-Verlag, Berlin, 1987.MATHGoogle Scholar
  5. 5.
    E. Kindler and R. Walter. Message passing mutex. In J. Desel, editor, Structures in Concurrency Theory, Berlin, 1995. Springer-Verlag.Google Scholar
  6. 6.
    C.A. Lakos. Object petri nets. Report TR94-3, Computer Science Depart., University of Tasmania, 1994.Google Scholar
  7. 7.
    C.A. Lakos. From coloured petri nets to object petri nets. In M. Diaz G. De Michelis, editor, Application and Theory of Petri Nets, number 935 in LNCS, pages 278–297, Berlin, 1995. Springer-Verlag.Google Scholar
  8. 8.
    J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, 1981.Google Scholar
  9. 9.
    W. Reisig. System design using petri nets. Informatik Fachberichte, 74:29–41, 1983.Google Scholar
  10. 10.
    G. Rozenberg. Behaviour of elementary net systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and their Properties, number 254 in LNCS, pages 60–94. Springer-Verlag, Berlin, 1987.CrossRefGoogle Scholar
  11. 11.
    J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, London, 1991.Google Scholar
  12. 12.
    C. Sibertin-Blanc. Cooperative nets. In R. Valette, editor, Application and Theory of Petri Nets, number 815 in LNCS, pages 471–490, Berlin, 1994. Springer-Verlag.Google Scholar
  13. 13.
    P.S. Thiagarajan. Elementary net system. In W. Brauer, W. Reisig, and G. Rozeberg, editors, Petri Nets: Central Models and their Properties, number 254 in LNCS, pages 26–59. Springer-Verlag, Berlin, 1987.CrossRefGoogle Scholar
  14. 14.
    R. Valk. Nets in computer organisation. In W. Brauer, W. Reisig, and G. Rozeberg, editors, Petri Nets: Central Models and their Properties, volume 255, pages 218–233. Springer-Verlag, Berlin, 1987.Google Scholar
  15. 15.
    R. Valk. On theory and practice: an exercise in fairness. Petri Net Newsletter, 26:4–11, 1987.Google Scholar
  16. 16.
    R. Valk. Modelling concurrency by task/flow EN systems. In 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, 1991. Gesellschaft für Mathematik und Datenverarbeitung.Google Scholar
  17. 17.
    R. Valk. Petri nets as dynamical objects. In Workshop Proc. 16th International Conf. on Application and Theory of Petri Nets, Torino, Italy, June 1995.Google Scholar
  18. 18.
    R. Valk. On processes of object petri nets. Bericht 185/96, Fachbereich Informatik, Universität Hamburg, 1996.Google Scholar
  19. 19.
    R. Valk. Concurrency in communicating object petri nets. In F. DeCindio G.A. Agha, editor, to appear in: Advances in Petri Nets, LNCS. Springer-Verlag, Berlin, 1998.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Rüdiger Valk
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgHamburg

Personalised recommendations