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.
References
Badouel E, Darondeau P (1998) Theory of regions. LNCS 1491, 529–586
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
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
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
Cabasino MP, Giua A, Seatzu C (2010) Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9):1531–1539
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
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
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
Caines PE, Greiner R, Wang S (1988) Dynamical logic observers for finite automata. In: Tagungsband 27th IEEE Conf on Decision und Control, Austin, Texas
Cassandras CC, Lafortune S (2008) Introduction to Discrete Event Systems – Second Edition. Springer
Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons und mathematical programming. IEEE Trans Robot Automat 13(6):793–804
Colom JM, Silva M (1990) Improving the linearly based characterization of P/T nets. Vol 483 of LNCS, Springer
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
David R, Alla H (2005) Discrete, Continous und Hybrid Petri Nets. Springer, Berlin Heidelberg
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
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
Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Automation Sci Engin 4(2), 206–219
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
Giua A, Seatzu C (2002) Observability of place/transition nets. IEEE Trans Automatic Control 47(9):1424–1437
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
Hiraishi K (1992) Construction of a class of safe Petri nets by presenting firing sequences. LNCS 616:244–262
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
Iordache M, Antsaklis P (2005) A survey on the supervision of Petri nets. In: Petri nets 2005. Miami, FL, USA
Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Automation 18(1):59–68
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
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
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
Moody JO, Antsaklis PJ (1998) Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers
Moody JO, Yamalidou K, Lemmon MD, Antsaklis PJ (1996) Feedback control of Petri nets based on place invariants. Automatica 32(1):15–28
Murata T (1989) Petri nets: properties, analysis und applications. Proc IEEE 77:541–580
Ozveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Automatic Control 35(7):797–806
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
Peterson JL (1981) Petri Net Theory und Modelling of Systems. Prentice Hall, Englewood Cliffs, NJ
Prock J (1991) A new tecnique for fault detection using Petri nets. Automatica 27(2):239–245
Ramadge PJ (1986) Observability of discrete-event systems. In: Tagungsband 25th IEEE Conf on Decision und Control, Athens, Greece
Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98
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
Seatzu C, Silva M, van Schuppen JH (Ed) (2012) Control of discrete event systems. Automata and Petri net perspectives. Vol 433 of LNCIS, Springer
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
Sreenivas RS (2002) On minimal representations of Petri net languages. In: Tagungsband IFAC WODES’02: 6 Work on Discrete Event Systems. Zaragoza, Spain
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
Wu Y, Hadjicostis CN (2005) Algebraic approaches for fault identification in discrete-event systems. IEEE Trans Robot Automation 50(12):2048–2053
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00287-014-0766-8