{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:09:08Z","timestamp":1742994548330,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218330"},{"type":"electronic","value":"9783642218347"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21834-7_3","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T02:04:11Z","timestamp":1309226651000},"page":"38-48","source":"Crossref","is-referenced-by-count":12,"title":["State Estimation and Fault Detection Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Giua","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"3_CR1","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1109\/9.880613","volume":"45","author":"G. Barrett","year":"2000","unstructured":"Barrett, G., Lafortune, S.: Decentralized supervisory control with communicating controllers. IEEE Trans. on Automatic Control\u00a045(9), 1620\u20131638 (2000)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1109\/TAC.2009.2014932","volume":"54","author":"F. Basile","year":"2008","unstructured":"Basile, F., Chiacchio, P., De Tommasi, G.: An efficient approach for online diagnosis of discrete event systems. IEEE Trans. on Automatic Control\u00a054(4), 748\u2013759 (2008)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"5","key":"3_CR3","doi-asserted-by":"publisher","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.: Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Trans. on Automatic Control\u00a048(5), 714\u2013727 (2003)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Boel, R.K., van Schuppen, J.H.: Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In: Proc. 6th Work. on Discrete Event Systems, Zaragoza, Spain, pp. 175\u2013181 (October 2002)","DOI":"10.1109\/WODES.2002.1167685"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: Diagnosability analysis of unbounded Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China, pp. 1267\u20131272 (December 2009)","DOI":"10.1109\/CDC.2009.5400608"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Engineering Practice (2010), doi:10.1016\/j.conengprac.2010.12.010","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Diagnosability of bounded Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China, pp. 1254\u20131260 (December 2009)","DOI":"10.1109\/CDC.2009.5399874"},{"issue":"9","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"M.P. Cabasino","year":"2010","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica\u00a046(9), 1531\u20131539 (2010)","journal-title":"Automatica"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Caines, P.E., Greiner, R., Wang, S.: Dynamical logic observers for finite automata. In: Proc. 27th IEEE Conf. on Decision and Control, Austin, TX, USA, pp. 226\u2013233 (December 1988)","DOI":"10.1109\/CDC.1988.194300"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Caines, P.E., Wang, S.: Classical and logic based regulator design and its complexity for partially observed automata. In: Proc. 28th IEEE Conf. on Decision and Control, Tampa, FL, USA, pp. 132\u2013137 (December 1989)","DOI":"10.1109\/CDC.1989.70090"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1080\/0951192052000288206","volume":"12","author":"S.L. Chung","year":"2005","unstructured":"Chung, S.L.: Diagnosing PN-based models with partial observable transitions. International Journal of Computer Integrated Manufacturing\u00a012 (2), 158\u2013169 (2005)","journal-title":"International Journal of Computer Integrated Manufacturing"},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","volume":"52","author":"D. Corona","year":"2007","unstructured":"Corona, D., Giua, A., Seatzu, C.: Marking estimation of Petri nets with silent transitions. IEEE Trans. on Automatic Control\u00a052(9), 1695\u20131699 (2007)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R. Debouk","year":"2000","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamical Systems\u00a010(1), 33\u201386 (2000)","journal-title":"Discrete Events Dynamical Systems"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Dotoli, M., Fanti, M.P., Mangini, A.M.: Fault detection of discrete event systems using Petri nets and integer linear programming. In: Proc. of 17th IFAC World Congress, Seoul, Korea (July 2008)","DOI":"10.3182\/20080706-5-KR-1001.01105"},{"issue":"5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","volume":"55","author":"J. Dubreil","year":"2010","unstructured":"Dubreil, J., Darondeau, P., Marchand, H.: Supervisory control for opacity. IEEE Trans. on Automatic Control\u00a055(5), 1089\u20131100 (2010)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S. Genc","year":"2007","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. on Automation Science and Engineering\u00a04(2), 206\u2013219 (2007)","journal-title":"IEEE Trans. on Automation Science and Engineering"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Ghazel, M., Togueni, A., Bigang, M.: A monitoring approach for discrete events systems based on a time Petri net model. In: Proc. of 16th IFAC World Congress, Prague, Czech Republic (July 2005)","DOI":"10.3182\/20050703-6-CZ-1902.00339"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Giua, A.: Petri net state estimators based on event observation. In: Proc. 36th IEEE Conf. on Decision and Control, San Diego, CA, USA, pp. 4086\u20134091 (December 1997)","DOI":"10.1109\/CDC.1997.652507"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10626-005-5239-4","volume":"15","author":"A. Giua","year":"2005","unstructured":"Giua, A., Corona, D., Seatzu, C.: State estimation of \u03bb-free labeled Petri nets with contact-free nondeterministic transitions. Discrete Events Dynamical Systems\u00a015(1), 85\u2013108 (2005)","journal-title":"Discrete Events Dynamical Systems"},{"issue":"9","key":"3_CR20","doi-asserted-by":"publisher","first-page":"1424","DOI":"10.1109\/TAC.2002.802769","volume":"49","author":"A. Giua","year":"2002","unstructured":"Giua, A., Seatzu, C.: Observability of place\/transition nets. IEEE Trans. on Automatic Control\u00a049(9), 1424\u20131437 (2002)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TAC.2003.821419","volume":"49","author":"A. Giua","year":"2004","unstructured":"Giua, A., Seatzu, C., Basile, F.: Observer based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. on Automatic Control\u00a049(1), 17\u201329 (2004)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-48745-X_12","volume-title":"Application and Theory of Petri Nets 1999","author":"C.N. Hadjicostis","year":"1999","unstructured":"Hadjicostis, C.N., Verghese, G.C.: Monitoring discrete event systems using Petri net embeddings. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 188\u2013207. Springer, Heidelberg (1999)"},{"issue":"7","key":"3_CR23","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"S. Hashtrudi Zad","year":"2003","unstructured":"Hashtrudi Zad, S., Kwong, R.H., Wonham, W.M.: Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. on Automatic Control\u00a048(7), 1199\u20131212 (2003)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"7","key":"3_CR24","doi-asserted-by":"publisher","first-page":"1663","DOI":"10.1109\/TAC.2010.2046106","volume":"55","author":"G. Jiroveanu","year":"2010","unstructured":"Jiroveanu, G., Boel, R.K.: The diagnosability of Petri net models using minimal explanations. IEEE Trans. on Automatic Control\u00a055(7), 1663\u20131668 (2010)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s10626-007-0036-x","volume":"18","author":"G. Jiroveanu","year":"2008","unstructured":"Jiroveanu, G., Boel, R.K., Bordbar, B.: On-line monitoring of large Petri net models under partial observation. Discrete Events Dynamical Systems\u00a018(3), 323\u2013354 (2008)","journal-title":"Discrete Events Dynamical Systems"},{"issue":"2","key":"3_CR26","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R. Kumar","year":"1993","unstructured":"Kumar, R., Garg, V., Markus, S.I.: Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. on Automatic Control\u00a038(2), 232\u2013247 (1993)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/TASE.2006.872122","volume":"4","author":"D. Lefebvre","year":"2007","unstructured":"Lefebvre, D., Delherm, C.: Diagnosis of DES with Petri net models. IEEE Trans. on Automation Science and Engineering\u00a04(1), 114\u2013118 (2007)","journal-title":"IEEE Trans. on Automation Science and Engineering"},{"issue":"2","key":"3_CR28","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"F. Lin","year":"1994","unstructured":"Lin, F.: Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems\u00a04(2), 197\u2013212 (1994)","journal-title":"Discrete Event Dynamic Systems"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Meda-Campa\u00f1a, M.E., Ram\u00edrez-Trevi\u00f1o, A., Malo, A.: Identification in discrete event systems. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, USA, pp. 740\u2013745 (October 1998)","DOI":"10.1109\/ICSMC.1998.725502"},{"issue":"7","key":"3_CR30","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"C.M. \u00d6zveren","year":"1990","unstructured":"\u00d6zveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Trans. on Automatic Control\u00a035(7), 797\u2013806 (1990)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"2","key":"3_CR31","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0005-1098(91)90074-C","volume":"27","author":"J. Prock","year":"1991","unstructured":"Prock, J.: A new tecnique for fault detection using Petri nets. Automatica\u00a027(2), 239\u2013245 (1991)","journal-title":"Automatica"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J.: Observability of discrete-event systems. In: Proc. 25th IEEE Conf. on Decision and Control, Athens, Greece, pp. 1108\u20131112 (December 1986)","DOI":"10.1109\/CDC.1986.267551"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Ram\u00edrez-Trevi\u00f1o, A., Rivera-Rangel, I., L\u00f3pez-Mellado, E.: Observer design for discrete event systems modeled by interpreted Petri nets. In: Proc. 2000 IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, USA, pp. 2871\u20132876 (April 2000)","DOI":"10.1109\/ROBOT.2000.846463"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Ricker, S.L., Caillaud, B.: Mind the gap: Expanding communication options in decentralized discrete-event control. In: Proc. 46th IEEE Conf. on Decision and Control, New Orleans, LA, USA, p. 5924 (December 2007)","DOI":"10.1109\/CDC.2007.4434935"},{"issue":"2","key":"3_CR35","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1109\/TASE.2008.2009095","volume":"6","author":"Y. Ru","year":"2009","unstructured":"Ru, Y., Hadjicostis, C.N.: Bounds on the number of markings consistent with label observations in Petri nets. IEEE Trans. on Automation Science and Engineering\u00a06(2), 334\u2013344 (2009)","journal-title":"IEEE Trans. on Automation Science and Engineering"},{"issue":"4","key":"3_CR36","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10626-009-0074-7","volume":"19","author":"Y. Ru","year":"2009","unstructured":"Ru, Y., Hadjicostis, C.N.: Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Discrete Events Dynamical Systems\u00a019(4), 551\u2013575 (2009)","journal-title":"Discrete Events Dynamical Systems"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Saboori, A., Hadjicostis, C.N.: Opacity-enforcing supervisory strategies for secure discrete event systems. In: Proc. 47th IEEE Conf. on Decision and Control, Cancun, Mexico, pp. 889\u2013894 (December 2008)","DOI":"10.1109\/CDC.2008.4738646"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Saboori, A., Hadjicostis, C.N.: Opacity verification in stochastic discrete event systems. In: Proc. 49th IEEE Conf. on Decision and Control, Atlanta, GA, USA, pp. 6759\u20136764 (December 2010)","DOI":"10.1109\/CDC.2010.5717580"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Saboori, A., Hadjicostis, C.N.: Reduced-complexity verification for initial-state opacity in modular discrete event systems. In: Proc. 10th Work. on Discrete Event Systems, Berlin, Germany (August\/September 2010)","DOI":"10.3182\/20100830-3-DE-4013.00015"},{"issue":"9","key":"3_CR40","doi-asserted-by":"publisher","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.: Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control\u00a040(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"2","key":"3_CR41","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Trans. on Control Systems Technology"},{"issue":"4","key":"3_CR42","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1109\/21.247896","volume":"23","author":"V.S. Srinivasan","year":"1993","unstructured":"Srinivasan, V.S., Jafari, M.A.: Fault detection and monitoring using time Petri nets. IEEE Trans. on Systems, Man and Cybernetics\u00a023(4), 1155\u20131162 (1993)","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"issue":"1","key":"3_CR43","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters\u00a090(1), 21\u201328 (2004)","journal-title":"Information Processing Letters"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Ushio, T., Onishi, L., Okuda, K.: Fault detection based on Petri net models with faulty behaviors. In: Proc. 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics, San Diego, CA, USA, pp. 113\u2013118 (October 1998)","DOI":"10.1109\/ICSMC.1998.725394"},{"key":"3_CR45","unstructured":"Wen, Y., Jeng, M.: Diagnosability analysis based on T-invariants of Petri nets. In: Proc. 2005 IEEE Int. Conf. on Networking, Sensing and Control, Tucson, AZ, USA, pp. 371\u2013376 (March 2005)"},{"key":"3_CR46","unstructured":"Wen, Y., Li, C., Jeng, M.: A polynomial algorithm for checking diagnosability of Petri nets. In: Proc. 2005 IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 2542\u20132547 ( October 2005)"},{"issue":"12","key":"3_CR47","first-page":"2048","volume":"50","author":"Y. Wu","year":"2005","unstructured":"Wu, Y., Hadjicostis, C.N.: Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robotics and Automation\u00a050(12), 2048\u20132053 (2005)","journal-title":"IEEE Trans. Robotics and Automation"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21834-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T19:29:56Z","timestamp":1741289396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21834-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218330","9783642218347"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21834-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}