Skip to main content

Advertisement

Springer Nature Link
Log in

The concepts of Petri nets

  • Special Section Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

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

Access this article

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

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20

Notes

  1. In distributed software, the term “event” usually describes something different, namely the arrival or availability of a signal.

  2. The literature on Petri nets often defines a step as a transition through a set of mutually concurrent events. The step described here is a special case of this.

References

  1. van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: a vicious circle. In: Nüttgens, M., Rump, F. (Eds.) EPK 2002—Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71–79

  2. van der Aalst, W.M.P., Ter Hofstede, A., Kiepuszewski, B., Barrus, A.P.: Workflow patterns. Distrib. Parallel Datab. 14(3), 5–51 (2003)

  3. van der Aalst, W.M.P.: Business Process Management as the “Killer App” for Petri Nets. In this issue

  4. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. Wiley, Newyork (1994)

    Google Scholar 

  5. Desel, J., Juhás, G.: What is a Petri net? Informal answers for the informed reader. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp. 1–25. Springer, Berlin (2001)

    Google Scholar 

  6. Desel, J., Hanisch, H.-M., Juhás, G., Lorenz, R., Neumair, C.: A guide to modelling and control with modules of signal nets. In: Ehrig, H., Damm, W., Desel, J., Große-Rohde, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 270–300. Springer, Berlin (2004)

    Chapter  Google Scholar 

  7. Giua, A., Seatzu, C.: Petri nets for the control of discrete event systems. In this issue

  8. Keller, G., Nüttgens, M. Scheer, A.-W.: Semantische Prozessmodellierung auf der Grundlage “Ereignisgesteuerter Prozeßketten (EPK)”. In: Scheer, A.-W. (Ed.): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Issue 89, Saarbrücken (1992)

  9. Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Desel, J., Weske, M. (Eds.) Promise 2002: Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, LNI P-21, pp. 64–77, Gesellschaft für Informatik (2002)

  10. Petri, C.A.: Kommunikation mit Automaten. Institut für Instrumentelle Mathematik der Universität Bonn, Schriften des IIM Nr. 2 (1962)

  11. Popova-Zeugmann, L.: Time and Petri Nets. Springer, Berlin (2013)

    Book  MATH  Google Scholar 

  12. Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer, Berlin (2013)

  13. Schmidt, K.: Controllability of open workflow nets. Enterprise Modelling and Information Systems Architectures (EMISA), LNI 75, pp. 236–249, Gesellschaft für Informatik (2005)

  14. Smith, E.: Petri and how he saw the world. In this issue

  15. Sreenivas, R.S., Krogh, B.H.: Petri net based models for condition/event systems. American Control Conference 1991, IEE, pp. 2899–2904 (1991)

  16. Starke, P.H.: Some properties of timed nets under the earliest firing rule. In: Rozenberg, G. (ed.) Advances in Petri Nets 1989, LNCS 424, pp. 418–432. Springer, Berlin (1990)

    Chapter  Google Scholar 

  17. Störrle, H., Hausmann, J.H.: Towards a Formal Semantics of UML 2.0 Activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (Eds.) Software Engineering 2005, LNI 64, pp. 117–128, Gesellschaft für Informatik (2005)

  18. Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Berlin (2012)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fernuniversität in Hagen, Hagen, Germany

    Jörg Desel

  2. Humboldt-Universität zu Berlin, Berlin, Germany

    Wolfgang Reisig

Authors
  1. Jörg Desel
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Wolfgang Reisig
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Jörg Desel.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Desel, J., Reisig, W. The concepts of Petri nets. Softw Syst Model 14, 669–683 (2015). https://doi.org/10.1007/s10270-014-0423-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-014-0423-3

Keywords