Skip to main content
SpringerLink
Log in

Petrinetze und die Steuerung Ereignisdiskreter Systeme

  • HAUPTBEITRAG
  • PETRINETZE
  • Published:
Informatik-Spektrum Aims and scope

Zusammenfassung

Seit die Regelungstechnik auch Ereignisdiskrete Systeme (Discrete Event Systems) einbezieht, werden Petrinetze als theoretische Grundlage dieser Systeme verwendet und weiterentwickelt. In diesem Beitrag werden einige Gründe für diese Entwicklung angegeben und erläutert, also die Frage beantwortet, warum Petrinetze für die Modellierung Ereignisdiskreter Systeme besonders geeignet sind. Ein Schwerpunkt liegt dabei auf Fragestellungen, zu denen Petrinetze besonders wichtige und eindrucksvolle Beiträge geliefert haben.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Badouel E, Darondeau P (1998) Theory of regions. LNCS 1491, 529–586

    Google Scholar 

  2. Basile F, Chiacchio P, De Tommasi G (2009) An efficient approach for online diagnosis of discrete event systems. IEEE Trans Automatic Control 54(4):748–759

    Article  Google Scholar 

  3. Benveniste A, Fabre E, Haar S, Jard C (2003) Diagnosis of asynchronous discrete event systems: a net unfolding approach. IEEE Trans Automatic Control 48(5):714–727

    Article  MathSciNet  Google Scholar 

  4. Bourdeaud’huy T, Yim P (2004) Synthèse de rèseaux de Petri à partir d’exigences. In: Actes de la 5me conf. francophone de Modélisation et Simulation. Nantes, France

  5. Cabasino MP, Giua A, Seatzu C (2010) Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9):1531–1539

    Article  MATH  MathSciNet  Google Scholar 

  6. Cabasino MP, Giua A, Seatzu C (2007) Identification of Petri nets from knowledge of their languages. Discrete Event Dynamic Systems: Theory Appl 17(4):447–474

    Article  MATH  MathSciNet  Google Scholar 

  7. Cabasino MP, Giua A, Seatzu C (2012) Structural analysis of Petri nets. In: Control of Discrete-Event Systems. Automata und Petri Net Perspectives. Vol 433 of Lecture Notes in Control und Information Science, Springer, pp 213–234

  8. Cabasino MP, Giua A, Pocci M, Seatzu C (2011) Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Engin Pract 19(9):989–1001

    Article  Google Scholar 

  9. Caines PE, Greiner R, Wang S (1988) Dynamical logic observers for finite automata. In: Tagungsband 27th IEEE Conf on Decision und Control, Austin, Texas

  10. Cassandras CC, Lafortune S (2008) Introduction to Discrete Event Systems – Second Edition. Springer

  11. Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons und mathematical programming. IEEE Trans Robot Automat 13(6):793–804

    Article  Google Scholar 

  12. Colom JM, Silva M (1990) Improving the linearly based characterization of P/T nets. Vol 483 of LNCS, Springer

  13. Cordone R, Nazeem A, Piroddi L, Reveliotis S (2013) Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results und customized algorithms. IEEE Trans Automatic Control 58(11):1–16

    Article  MathSciNet  Google Scholar 

  14. David R, Alla H (2005) Discrete, Continous und Hybrid Petri Nets. Springer, Berlin Heidelberg

    Google Scholar 

  15. Dotoli M, Fanti MP, Mangini AM, Ukovich W (2009) On-line fault detection of discrete event systems by Petri nets und integer linear programming. Automatica 45(11):2665–2672

    Article  MATH  MathSciNet  Google Scholar 

  16. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automation 11(2):173–184

    Article  Google Scholar 

  17. Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Automation Sci Engin 4(2), 206–219

    Google Scholar 

  18. Giua A (2012) Supervisory control of Petri nets with language specifications. In: Control of Discrete-Event Systems. Automata und Petri Net Perspectives. Vol 433 of LNCIS, Springer, 235–256

  19. Giua A, Seatzu C (2002) Observability of place/transition nets. IEEE Trans Automatic Control 47(9):1424–1437

    Article  MathSciNet  Google Scholar 

  20. Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Tagungsband 1992 IEEE Int Conf on Systems, Man und Cybernetics, Chicago, IL, USA

  21. Hiraishi K (1992) Construction of a class of safe Petri nets by presenting firing sequences. LNCS 616:244–262

    MathSciNet  Google Scholar 

  22. Holloway LE, Krogh BH, Giua A (1997) A survey of Petri net methods for controlled discrete eventsystems. Discrete Event Dynam Syst 7(2):151–190

    Article  MATH  Google Scholar 

  23. Iordache M, Antsaklis P (2005) A survey on the supervision of Petri nets. In: Petri nets 2005. Miami, FL, USA

  24. Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Automation 18(1):59–68

    Article  Google Scholar 

  25. Kumar R, Garg V, Markus SI (1993) Predicates und predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans Automatic Control 38(2):232–247

    Article  MATH  Google Scholar 

  26. Li ZW, Zhou M (2004) Elementary siphons of Petri nets und their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):38–51

    Article  Google Scholar 

  27. Miyagi PE, Riascos LAM (2010) Modeling und analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engin Pract 14(4):397–408

    Article  Google Scholar 

  28. Moody JO, Antsaklis PJ (1998) Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers

  29. Moody JO, Yamalidou K, Lemmon MD, Antsaklis PJ (1996) Feedback control of Petri nets based on place invariants. Automatica 32(1):15–28

    Article  MATH  MathSciNet  Google Scholar 

  30. Murata T (1989) Petri nets: properties, analysis und applications. Proc IEEE 77:541–580

    Article  Google Scholar 

  31. Ozveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Automatic Control 35(7):797–806

    Article  MathSciNet  Google Scholar 

  32. Park J, Reveliotis SA (2000) Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans Robot Automat 16(2):190–195

    Article  Google Scholar 

  33. Peterson JL (1981) Petri Net Theory und Modelling of Systems. Prentice Hall, Englewood Cliffs, NJ

    Google Scholar 

  34. Prock J (1991) A new tecnique for fault detection using Petri nets. Automatica 27(2):239–245

    Article  MathSciNet  Google Scholar 

  35. Ramadge PJ (1986) Observability of discrete-event systems. In: Tagungsband 25th IEEE Conf on Decision und Control, Athens, Greece

  36. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98

    Article  Google Scholar 

  37. Reveliotis SA (2007) Implicit siphon control und its role in the liveness enforcing supervision of sequential resource allocation systems. IEEE Trans Syst Man Cybern A 37(3):319–328

    Article  MathSciNet  Google Scholar 

  38. Seatzu C, Silva M, van Schuppen JH (Ed) (2012) Control of discrete event systems. Automata and Petri net perspectives. Vol 433 of LNCIS, Springer

  39. Silva M, Colom JM, Campos J (1992) Linear algebraic techniques for the analysis of Petri nets. In: Recent Advances in Mathematical Theory of Systems, Control, Networks, und Signal Processing II. Mita Press, pp 35–42

  40. Sreenivas RS (2002) On minimal representations of Petri net languages. In: Tagungsband IFAC WODES’02: 6 Work on Discrete Event Systems. Zaragoza, Spain

  41. Viswanadham N, Narahari Y, Johnson TL (1990) Deadlock prevention und deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Automation 6(6):713–723

    Article  Google Scholar 

  42. Wu Y, Hadjicostis CN (2005) Algebraic approaches for fault identification in discrete-event systems. IEEE Trans Robot Automation 50(12):2048–2053

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIEE, Universität Cagliari, Cagliari, Italy

    Alessandro Giua & Carla Seatzu

  2. LSIS, Aix-Marseille Universität, Marseille, France

    Alessandro Giua

Authors
  1. Alessandro Giua
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carla Seatzu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alessandro Giua.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Giua, A., Seatzu, C. Petrinetze und die Steuerung Ereignisdiskreter Systeme. Informatik Spektrum 37, 199–210 (2014). https://doi.org/10.1007/s00287-014-0766-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00287-014-0766-8

Search

Navigation