{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:02:17Z","timestamp":1746244937578,"version":"3.40.4"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T00:00:00Z","timestamp":1395360000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s00287-014-0766-8","type":"journal-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T06:34:58Z","timestamp":1395297298000},"page":"199-210","source":"Crossref","is-referenced-by-count":1,"title":["Petrinetze und die Steuerung Ereignisdiskreter Systeme"],"prefix":"10.1007","volume":"37","author":[{"given":"Alessandro","family":"Giua","sequence":"first","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Badouel E, Darondeau P (1998) Theory of regions. LNCS 1491, 529\u2013586","key":"766_CR1","DOI":"10.1007\/3-540-65306-6_22"},{"issue":"4","key":"766_CR2","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1109\/TAC.2009.2014932","volume":"54","author":"F Basile","year":"2009","unstructured":"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\u2013759","journal-title":"IEEE Trans Automatic Control"},{"issue":"5","key":"766_CR3","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"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\u2013727","journal-title":"IEEE Trans Automatic Control"},{"unstructured":"Bourdeaud\u2019huy T, Yim P (2004) Synth\u00e8se de r\u00e8seaux de Petri \u00e0 partir d\u2019exigences. In: Actes de la 5me conf. francophone de Mod\u00e9lisation et Simulation. Nantes, France","key":"766_CR4"},{"issue":"9","key":"766_CR5","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"MP Cabasino","year":"2010","unstructured":"Cabasino MP, Giua A, Seatzu C (2010) Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9):1531\u20131539","journal-title":"Automatica"},{"issue":"4","key":"766_CR6","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10626-007-0025-0","volume":"17","author":"MP Cabasino","year":"2007","unstructured":"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\u2013474","journal-title":"Discrete Event Dynamic Systems: Theory Appl"},{"unstructured":"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\u2013234","key":"766_CR7"},{"issue":"9","key":"766_CR8","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"MP Cabasino","year":"2011","unstructured":"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\u20131001","journal-title":"Control Engin Pract"},{"unstructured":"Caines PE, Greiner R, Wang S (1988) Dynamical logic observers for finite automata. In: Tagungsband 27th IEEE Conf on Decision und Control, Austin, Texas","key":"766_CR9"},{"doi-asserted-by":"crossref","unstructured":"Cassandras CC, Lafortune S (2008) Introduction to Discrete Event Systems \u2013 Second Edition. Springer","key":"766_CR10","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"6","key":"766_CR11","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons und mathematical programming. IEEE Trans Robot Automat 13(6):793\u2013804","journal-title":"IEEE Trans Robot Automat"},{"doi-asserted-by":"crossref","unstructured":"Colom JM, Silva M (1990) Improving the linearly based characterization of P\/T nets. Vol 483 of LNCS, Springer","key":"766_CR12","DOI":"10.1007\/3-540-53863-1_23"},{"issue":"11","key":"766_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TAC.2013.2283549","volume":"58","author":"R Cordone","year":"2013","unstructured":"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\u201316","journal-title":"IEEE Trans Automatic Control"},{"key":"766_CR14","volume-title":"Discrete, Continous und Hybrid Petri Nets","author":"R David","year":"2005","unstructured":"David R, Alla H (2005) Discrete, Continous und Hybrid Petri Nets. Springer, Berlin Heidelberg"},{"issue":"11","key":"766_CR15","doi-asserted-by":"crossref","first-page":"2665","DOI":"10.1016\/j.automatica.2009.07.021","volume":"45","author":"M Dotoli","year":"2009","unstructured":"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\u20132672","journal-title":"Automatica"},{"issue":"2","key":"766_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"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\u2013184","journal-title":"IEEE Trans Robot Automation"},{"key":"766_CR17","volume-title":"Distributed diagnosis of place-bordered Petri nets","author":"S Genc","year":"2007","unstructured":"Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Automation Sci Engin 4(2), 206\u2013219"},{"unstructured":"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\u2013256","key":"766_CR18"},{"issue":"9","key":"766_CR19","doi-asserted-by":"crossref","first-page":"1424","DOI":"10.1109\/TAC.2002.802769","volume":"47","author":"A Giua","year":"2002","unstructured":"Giua A, Seatzu C (2002) Observability of place\/transition nets. IEEE Trans Automatic Control 47(9):1424\u20131437","journal-title":"IEEE Trans Automatic Control"},{"unstructured":"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","key":"766_CR20"},{"key":"766_CR21","first-page":"244","volume":"616","author":"K Hiraishi","year":"1992","unstructured":"Hiraishi K (1992) Construction of a class of safe Petri nets by presenting firing sequences. LNCS 616:244\u2013262","journal-title":"LNCS"},{"issue":"2","key":"766_CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway LE, Krogh BH, Giua A (1997) A survey of Petri net methods for controlled discrete eventsystems. Discrete Event Dynam Syst 7(2):151\u2013190","journal-title":"Discrete Event Dynam Syst"},{"unstructured":"Iordache M, Antsaklis P (2005) A survey on the supervision of Petri nets. In: Petri nets 2005. Miami, FL, USA","key":"766_CR23"},{"issue":"1","key":"766_CR24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/70.988975","volume":"18","author":"MV Iordache","year":"2002","unstructured":"Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Automation 18(1):59\u201368","journal-title":"IEEE Trans Robot Automation"},{"issue":"2","key":"766_CR25","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R Kumar","year":"1993","unstructured":"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\u2013247","journal-title":"IEEE Trans Automatic Control"},{"issue":"1","key":"766_CR26","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"ZW Li","year":"2004","unstructured":"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\u201351","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"4","key":"766_CR27","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.conengprac.2005.02.002","volume":"14","author":"PE Miyagi","year":"2010","unstructured":"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\u2013408","journal-title":"Control Engin Pract"},{"doi-asserted-by":"crossref","unstructured":"Moody JO, Antsaklis PJ (1998) Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers","key":"766_CR28","DOI":"10.1007\/978-1-4615-5711-1"},{"issue":"1","key":"766_CR29","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"JO Moody","year":"1996","unstructured":"Moody JO, Yamalidou K, Lemmon MD, Antsaklis PJ (1996) Feedback control of Petri nets based on place invariants. Automatica 32(1):15\u201328","journal-title":"Automatica"},{"key":"766_CR30","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis und applications. Proc IEEE 77:541\u2013580","journal-title":"Proc IEEE"},{"issue":"7","key":"766_CR31","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"CM Ozveren","year":"1990","unstructured":"Ozveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Automatic Control 35(7):797\u2013806","journal-title":"IEEE Trans Automatic Control"},{"issue":"2","key":"766_CR32","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1109\/70.843175","volume":"16","author":"J Park","year":"2000","unstructured":"Park J, Reveliotis SA (2000) Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans Robot Automat 16(2):190\u2013195","journal-title":"IEEE Trans Robot Automat"},{"key":"766_CR33","volume-title":"Petri Net Theory und Modelling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri Net Theory und Modelling of Systems. Prentice Hall, Englewood Cliffs, NJ"},{"issue":"2","key":"766_CR34","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0005-1098(91)90074-C","volume":"27","author":"J Prock","year":"1991","unstructured":"Prock J (1991) A new tecnique for fault detection using Petri nets. Automatica 27(2):239\u2013245","journal-title":"Automatica"},{"doi-asserted-by":"crossref","unstructured":"Ramadge PJ (1986) Observability of discrete-event systems. In: Tagungsband 25th IEEE Conf on Decision und Control, Athens, Greece","key":"766_CR35","DOI":"10.1109\/CDC.1986.267551"},{"issue":"1","key":"766_CR36","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"issue":"3","key":"766_CR37","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1109\/TSMCA.2007.893461","volume":"37","author":"SA Reveliotis","year":"2007","unstructured":"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\u2013328","journal-title":"IEEE Trans Syst Man Cybern A"},{"doi-asserted-by":"crossref","unstructured":"Seatzu C, Silva M, van Schuppen JH (Ed) (2012) Control of discrete event systems. Automata and Petri net perspectives. Vol 433 of LNCIS, Springer","key":"766_CR38","DOI":"10.1007\/978-1-4471-4276-8"},{"unstructured":"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\u201342","key":"766_CR39"},{"doi-asserted-by":"crossref","unstructured":"Sreenivas RS (2002) On minimal representations of Petri net languages. In: Tagungsband IFAC WODES\u201902: 6 Work on Discrete Event Systems. Zaragoza, Spain","key":"766_CR40","DOI":"10.1109\/WODES.2002.1167694"},{"issue":"6","key":"766_CR41","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N Viswanadham","year":"1990","unstructured":"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\u2013723","journal-title":"IEEE Trans Robot Automation"},{"issue":"12","key":"766_CR42","doi-asserted-by":"crossref","first-page":"2048","DOI":"10.1109\/TAC.2005.860249","volume":"50","author":"Y Wu","year":"2005","unstructured":"Wu Y, Hadjicostis CN (2005) Algebraic approaches for fault identification in discrete-event systems. IEEE Trans Robot Automation 50(12):2048\u20132053","journal-title":"IEEE Trans Robot Automation"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-014-0766-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-014-0766-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-014-0766-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:25:32Z","timestamp":1746156332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-014-0766-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,21]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["766"],"URL":"https:\/\/doi.org\/10.1007\/s00287-014-0766-8","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"type":"print","value":"0170-6012"},{"type":"electronic","value":"1432-122X"}],"subject":[],"published":{"date-parts":[[2014,3,21]]}}}