Skip to main content
SpringerLink
Log in

Object Oriented Petri Nets in Business Process Modeling

  • Chapter
  • First Online:
Book cover Business Process Management

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

Abstract

Business systems have to adapt to changing requirements coming from their environment. The rate is continuously increasing and leads to massive use of computer based systems. To specify the systems in a way that allows for adaptability and exibility adequate techniques are necessary.

The disadvantages using traditional modeling techniques are partially overcome by Business Process Petri nets (BPP-nets) which are informally introduced in this contribution. The key concepts are an object oriented structure of the net models, allowing to partition the model according to an application and also to follow a process centered approach. Workflows within the system can be modeled in separate objects and thus allow the dynamic adaptation of the system if the environment requires a behavioral change.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Wil van der Aalst. Verification of workflow nets. In Gianfranco Balbo, editors. Application and Theory of Petri Nets 1997, number 1248 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1997. Springer-Verlag Azéma and Balbo [AB97], pages 407–426.

    Chapter  Google Scholar 

  2. Pierre Azéma and Gianfranco Balbo, editors. Application and Theory of Petri Nets 1997, number 1248 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1997. Springer-Verlag.

    Google Scholar 

  3. Ulrich Becker and Daniel Moldt. Objektorientierte Konzepte für gefärbte Petrinetze. In Wolfgang Reisig, editors. Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Informatik Aktuell, Berlin, Heidelberg, New York, 1993 Scheschonk and Reisig [SR93], pages 140–151.

    Google Scholar 

  4. G. Booch, J. Rumbaugh, and I. Jacobson. The unified modeling language user guide: The ultimate tutorial to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass., 1999.

    Google Scholar 

  5. Søren Christensen and Niels Damgaard Hansen. Coloured Petri Nets Extended with Channels for Synchronous communication. Technical Report DAIMI PB-390, Computer Science Department, Aarhus University, DK-8000 Aarhus C, Denmark, April 1992.

    Google Scholar 

  6. Adriana Engelhardt, Daniel Moldt, Marc Netzebandt, and Frank Wienberg. Erweiterung objektorientierter gefärbter Petrinetze um Typisierung und Schnittstellen. Fachbereichsmitteilung, University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2000. in print.

    Google Scholar 

  7. Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use; Vol. 1. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 1992.

    Book  MATH  Google Scholar 

  8. I. Jacobson, J. Rumbaugh, and G. Booch. The unified software development process: UML; The complete guide to the Unified Process from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass., 1999.

    Google Scholar 

  9. Eike Jessen and Rüdiger Valk. Rechensysteme; Grundlagen der Modellbildung. Springer-Verlag, Berlin, Heidelberg, New York, 1987.

    Book  MATH  Google Scholar 

  10. Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, 5. Workshop Algorithmen und Werkzeuge für Petrinetze, Forschungsbericht Nr. 694, pages 73–78. Fachbereich Informatik, Universität Dortmund, October 1998.

    Google Scholar 

  11. Olaf Kummer. A Petri net view on synchronous channels. Petri Net Newsletter, (56):7–11, 1999.

    Google Scholar 

  12. Christoph Maier and Daniel Moldt. Object Coloured Petri Nets — a Formal Technique for Object Oriented Modelling. In G. Agha, F. De Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1999. Springer-Verlag. in print.

    Google Scholar 

  13. Daniel Moldt. Höhere Petrinetze als Grundlage für Systemspezifikationen. Dissertation, University of Hamburg, Department of Computer Science, August 1996.

    Google Scholar 

  14. Daniel Moldt and Frank Wienberg. Multi-Agent-Systems based on Coloured Petri Nets. In Gianfranco Balbo, editors. Application and Theory of Petri Nets 1997, number 1248 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1997. Springer-Verlag Azéma and Balbo [AB97], pages 82–101.

    Chapter  Google Scholar 

  15. Wolfgang Reisig. A Primer in Petri Net Design. Springer Compass International. Springer-Verlag, Berlin, Heidelberg, New York, 1992.

    Book  MATH  Google Scholar 

  16. The Renew Home Page. WWWpage at http://www.renew.de. Represents the Renew homepage.

  17. J. Rumbaugh, I. Jacobson, and G. Booch. The unified modeling language reference manual: The definitive reference to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass., 1999.

    Google Scholar 

  18. Gert Scheschonk and Wolfgang Reisig, editors. Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Informatik Aktuell, Berlin, Heidelberg, New York, 1993. Gesellschaft für Informatik, Springer-Verlag.

    Google Scholar 

  19. Clemens Szyperski.Component software: Beyond object-oriented programming. ACM Press books. Addison-Wesley, Reading, Mass., reprint edition, 1998.

    Google Scholar 

  20. The UML Home Page. WWW page at http://www.rational.com/uml/. Represents the UML homepage hold by the originators of UML.

  21. Rüdiger Valk. Modelling Concurrency by Task/Flow EN Systems. In Proceedings 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, Germany, 1991. Gesellschaft für Mathematik und Datenverarbeitung.

    Google Scholar 

  22. Rüdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In Jörg Desel and Manuel Silva, editors, 19th International Conference on Application and Theory of Petri nets, number 1420 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1998. Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Vogt-Kölln-Straße 30, D-22527, Hamburg

    Daniel Moldt & Rüdiger Valk

Authors
  1. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rüdiger Valk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Department of Information and Technology, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil van der Aalst

  2. Mathematisch-Geographische Fakultät, Lehrstuhl für Angewandte Informatik, Katholische Universität Eichstätt, Ostenstraße 28, 85072, Eichstätt, Germany

    Jörg Desel

  3. Institut für Wirtschaftsinformatik, Lehrstuhl für Wirtschaftsinformatik II, J.W. Goethe-Universität Frankfurt am Main, Postfach 111932, 60054, Frankfurt am Main, Germany

    Andreas Oberweis

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Moldt, D., Valk, R. (2000). Object Oriented Petri Nets in Business Process Modeling. In: van der Aalst, W., Desel, J., Oberweis, A. (eds) Business Process Management. Lecture Notes in Computer Science, vol 1806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45594-9_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-45594-9_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67454-2

  • Online ISBN: 978-3-540-45594-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation