{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T07:33:48Z","timestamp":1768548828011,"version":"3.49.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,6,23]],"date-time":"2009-06-23T00:00:00Z","timestamp":1245715200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10626-009-0074-7","type":"journal-article","created":{"date-parts":[[2009,6,22]],"date-time":"2009-06-22T09:06:23Z","timestamp":1245661583000},"page":"551-575","source":"Crossref","is-referenced-by-count":107,"title":["Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets"],"prefix":"10.1007","volume":"19","author":[{"given":"Yu","family":"Ru","sequence":"first","affiliation":[]},{"given":"Christoforos N.","family":"Hadjicostis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,6,23]]},"reference":[{"key":"74_CR1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1008241818642","volume":"8","author":"A Aghasaryan","year":"1998","unstructured":"Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1998) Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets. Discret Event Dyn Syst Theory Appl Categ 8:203\u2013231","journal-title":"Discret Event Dyn Syst Theory Appl Categ"},{"key":"74_CR2","doi-asserted-by":"crossref","first-page":"1936","DOI":"10.1109\/TAC.2003.819076","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Fabre E, Haar S (2003a) Markov nets: Probabilistic models for distributed and concurrent systems. IEEE Trans Automat Contr 48:1936\u20131950","journal-title":"IEEE Trans Automat Contr"},{"key":"74_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 (2003b) Diagnosis of asynchronous discrete-event systems: A net unfolding approach. IEEE Trans Automat Contr 48:714\u2013727","journal-title":"IEEE Trans Automat Contr"},{"key":"74_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems (2nd Edition). Springer, New York","edition":"2"},{"key":"74_CR5","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1080\/0951192052000288206","volume":"18","author":"SL Chung","year":"2005","unstructured":"Chung SL (2005) Diagnosing PN-based models with partial observable transitions. Int J Comput Integr Manuf 18:158\u2013169","journal-title":"Int J Comput Integr Manuf"},{"key":"74_CR6","first-page":"245","volume":"52","author":"J Esparza","year":"1994","unstructured":"Esparza J, Nielsen M (1994) Decidability issues for Petri nets\u2014a survey. Bull Eur Assoc Theor Comput Sci 52:245\u2013262","journal-title":"Bull Eur Assoc Theor Comput Sci"},{"key":"74_CR7","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Autom Sci Eng 4:206\u2013219","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"74_CR8","doi-asserted-by":"crossref","unstructured":"Giua A, Seatzu C (2005) Fault detection for discrete event systems using Petri nets with unobservable transitions. In: 44th IEEE Conf. on Decision and Control, Seville, pp 6323\u20136328","DOI":"10.1109\/CDC.2005.1583175"},{"key":"74_CR9","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s10626-005-5239-4","volume":"15","author":"A Giua","year":"2005","unstructured":"Giua A, Corona D, Seatzu C (2005) State estimation of \u03bb-free labeled Petri nets with contact-free nondeterministic transitions. Discret Event Dyn Syst Theory Appl Categ 15:85\u2013108","journal-title":"Discret Event Dyn Syst Theory Appl Categ"},{"key":"74_CR10","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","volume":"52","author":"A Giua","year":"2007","unstructured":"Giua A, Seatzu C, Corona C (2007) Marking estimation of Petri nets with silent transitions. IEEE Trans Automat Contr 52:1695\u20131699","journal-title":"IEEE Trans Automat Contr"},{"key":"74_CR11","doi-asserted-by":"crossref","unstructured":"Hadjicostis CN, Verghese GC (1999) Monitoring discrete event systems using Petri net embeddings. In: Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science, vol. 1639), pp 188\u2013207","DOI":"10.1007\/3-540-48745-X_12"},{"key":"74_CR12","doi-asserted-by":"crossref","unstructured":"Jiang S, Kumar R, Garcia HE (2002) Diagnosis of repeated failures in discrete event systems. In: 41st IEEE Conf. on Decision and Control, Las Vegas, pp 4000\u20134005","DOI":"10.1109\/CDC.2002.1184992"},{"key":"74_CR13","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/TASE.2006.872122","volume":"4","author":"D Lefebvre","year":"2007","unstructured":"Lefebvre D, Delherm C (2007) Diagnosis of DES with Petri net models. IEEE Trans Automat Sci Eng 4:114\u2013118","journal-title":"IEEE Trans Automat Sci Eng"},{"key":"74_CR14","doi-asserted-by":"crossref","unstructured":"Li L, Ru Y, Hadjicostis CN (2006) Least-cost firing sequence estimation in labeled Petri nets. In: Proc. of 45th IEEE Conf. on Decision and Control, San Diego, pp 416\u2013421","DOI":"10.1109\/CDC.2006.377182"},{"key":"74_CR15","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 and applications. Proc IEEE 77:541\u2013580","journal-title":"Proc IEEE"},{"key":"74_CR16","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl J (1988) Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann, San Francisco"},{"key":"74_CR17","volume-title":"Petri net theory and the modelling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, New Jersey"},{"key":"74_CR18","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:81\u201398","journal-title":"Proc IEEE"},{"key":"74_CR19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/TASE.2006.872120","volume":"4","author":"A Ram\u00edrez-Trevi\u00f1o","year":"2007","unstructured":"Ram\u00edrez-Trevi\u00f1o A, Ruiz-Beltr\u00e1n E, Rivera-Rangel I, L\u00f3pez-Mellado E (2007) Online fault diagnosis of discrete event systems. a Petri net-based approach. IEEE Trans Automat Sci Eng 4:31\u201339","journal-title":"IEEE Trans Automat Sci Eng"},{"key":"74_CR20","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1109\/TASE.2008.2009095","volume":"6","author":"Y Ru","year":"2009","unstructured":"Ru Y, Hadjicostis CN (2009a) Bounds on the number of markings consistent with label observations in Petri nets. IEEE Trans Automat Sci Eng 6:334\u2013344","journal-title":"IEEE Trans Automat Sci Eng"},{"key":"74_CR22","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Automat Contr 40:1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"key":"74_CR23","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/TAC.2005.844722","volume":"50","author":"D Thorsley","year":"2005","unstructured":"Thorsley D, Teneketzis D (2005) Diagnosability of stochastic discrete-event systems. IEEE Trans Automat Contr 50:476\u2013492","journal-title":"IEEE Trans Automat Contr"},{"key":"74_CR24","doi-asserted-by":"crossref","unstructured":"Thorsley D, Yoo TS, Garcia HE (2008) Diagnosability of stochastic discrete-event systems under unreliable observations. In: Proc. of the 2008 American Control Conference, Seattle, pp 1158\u20131165","DOI":"10.1109\/ACC.2008.4586649"},{"key":"74_CR25","doi-asserted-by":"crossref","unstructured":"Ushio T, Onishi I, Okuda K (1998) Fault detection based on Petri net models with faulty behaviors. In: Proc. of IEEE Int. Conf. on Systems, Man, and Cybernetics, San Diego, pp 113\u2013118","DOI":"10.1109\/ICSMC.1998.725394"},{"key":"74_CR26","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 Automat Contr 50:2048\u20132053","journal-title":"IEEE Trans Automat Contr"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0074-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0074-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0074-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:52Z","timestamp":1559246332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0074-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,23]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["74"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0074-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,23]]}}}