Skip to main content
Springer Nature Link
Log in

Petri Nets as Token Objects

An Introduction to Elementary Object Nets

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1998 (ICATPN 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1420))

Included in the following conference series:

  • 593 Accesses

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].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. W. v.d. Aalst. private communication. 1997.

    Google Scholar 

  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. 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.

    Article  Google Scholar 

  4. E. Jessen and R. Valk. Rechensysteme — Grundlagen der Modellbildung. Springer-Verlag, Berlin, 1987.

    MATH  Google Scholar 

  5. E. Kindler and R. Walter. Message passing mutex. In J. Desel, editor, Structures in Concurrency Theory, Berlin, 1995. Springer-Verlag.

    Google Scholar 

  6. C.A. Lakos. Object petri nets. Report TR94-3, Computer Science Depart., University of Tasmania, 1994.

    Google Scholar 

  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. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, 1981.

    Google Scholar 

  9. W. Reisig. System design using petri nets. Informatik Fachberichte, 74:29–41, 1983.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  11. J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, London, 1991.

    Google Scholar 

  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. 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.

    Chapter  Google Scholar 

  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. R. Valk. On theory and practice: an exercise in fairness. Petri Net Newsletter, 26:4–11, 1987.

    Google Scholar 

  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. 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. R. Valk. On processes of object petri nets. Bericht 185/96, Fachbereich Informatik, Universität Hamburg, 1996.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Hamburg

    Rüdiger Valk

Authors
  1. Rüdiger Valk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut AIFB, University of Karlsruhe, D-76128, Karlsruhe, Germany

    Jörg Desel

  2. Departamento de Informatica a Ingenieria de Sistemas Centro Politecnico Superior, Universidad de Zaragoza, c/ Maria de Luna, 3, E-50015, Zaragoza, Spain

    Manuel Silva

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Valk, R. (1998). Petri Nets as Token Objects. In: Desel, J., Silva, M. (eds) Application and Theory of Petri Nets 1998. ICATPN 1998. Lecture Notes in Computer Science, vol 1420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69108-1_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-69108-1_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64677-8

  • Online ISBN: 978-3-540-69108-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics