{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:32:21Z","timestamp":1742988741846,"version":"3.40.3"},"publisher-location":"London","reference-count":45,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447142751"},{"type":"electronic","value":"9781447142768"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_14","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"279-300","source":"Crossref","is-referenced-by-count":1,"title":["Diagnosis of Petri Nets"],"prefix":"10.1007","author":[{"given":"Maria Paola","family":"Cabasino","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1109\/TAC.2009.2014932","volume":"54","author":"F. Basile","year":"2009","unstructured":"Basile, F., Chiacchio, P., De Tommasi, G.: An efficient approach for online diagnosis of discrete event systems. IEEE Transactions on Automatic Control\u00a054(4), 748\u2013759 (2009)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR2","unstructured":"Baviehi, S., Chong, E.K.P.: Automated fault diagnosis using a discrete event systems. In: Proc. 1994 IEEE Int. Symposium on Intelligent Control, Ohio, USA (1994)"},{"issue":"5","key":"14_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 Transactions on Automatic Control\u00a048(5), 714\u2013727 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"14_CR4","doi-asserted-by":"publisher","first-page":"1618","DOI":"10.1109\/9.543999","volume":"41","author":"D. Bertsimas","year":"2002","unstructured":"Bertsimas, D., Gamarnik, D., Tsitsiklis, J.N.: Stability conditions for multiclass fluid queueing networks. IEEE Transaction on Automatic Control\u00a041(11), 1618\u20131631 (2002)","journal-title":"IEEE Transaction on Automatic Control"},{"key":"14_CR5","unstructured":"Boel, R.K., van Schuppen, J.H.: Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In: Proc. 6th Int. Workshop on Discrete Event Systems, Zaragoza, Spain (2002)"},{"key":"14_CR6","unstructured":"Boel, R.K., Jiroveanu, G.: Distributed contextual diagnosis for very large systems. In: Proc. 7th Int. Workshop on Discrete Event Systems, Reims, France (2004)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Mahulea, C., Seatzu, C., Silva, M.: Fault diagnoser design for untimed continuous Petri nets. In: Proc. Int. Symposium on Intelligent Control, Saint Petersburg, Russia (2009)","DOI":"10.1109\/ACC.2009.5159893"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Mahulea, C., Seatzu, C., Silva, M.: New Results for Fault Detection of untimed Continuous Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China (2009)","DOI":"10.1109\/ACC.2009.5159893"},{"key":"14_CR9","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 (2009)","DOI":"10.1109\/CDC.2009.5399874"},{"key":"14_CR10","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 (2009)","DOI":"10.1109\/CDC.2009.5400608"},{"issue":"9","key":"14_CR11","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":"14_CR12","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Paoli, A., Seatzu, C.: A new protocol for the decentralized diagnosis of labeled Petri nets. In: Proc. 10th IFAC Int. Workshop on Discrete Event Systems, Berlin, Germany (2010)","DOI":"10.1109\/ACC.2010.5530910"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Paoli, A., Seatzu, C.: Decentralized diagnosis of Petri nets. In: Proc. 2010 American Control Conference, Baltimore, USA (2010)","DOI":"10.1109\/ACC.2010.5530910"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Mahulea, C., Seatzu, C., Silva, M.: Fault diagnosis of discrete-event systems using continuous Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A (to appear, 2012)","DOI":"10.1109\/TSMCA.2012.2183358"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Paoli, A., Seatzu, C.: Decentralized diagnosability analysis of discrete event systems using Petri nets. In: Proc. 18th IFAC World Congress, Milan, Italy (2011)","DOI":"10.1109\/CDC.2011.6161269"},{"issue":"9","key":"14_CR16","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"M.P. Cabasino","year":"2011","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\u00a019(9), 989\u20131001 (2011)","journal-title":"Control Engineering Practice"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: A new approach for diagnosability analysis of Petri nets using Verifier Nets. Transactions on Automatic Control (to appear, 2012)","DOI":"10.1109\/TAC.2012.2200372"},{"key":"14_CR18","unstructured":"Chen, H., Yao, D.D.: Fundamentals of queueing networks: Performance, asymptotics and optimization. Springer (2011)"},{"issue":"9","key":"14_CR19","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 Transactions on Automatic Control\u00a052(9), 1695\u20131699 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR20","unstructured":"David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2004)"},{"issue":"1","key":"14_CR21","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 Event Dynamic Systems\u00a010(1), 33\u201386 (2000)","journal-title":"Discrete Event Dynamic Systems"},{"key":"14_CR22","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. 17th IFAC World Congress, Seoul, Korea (2008)","DOI":"10.3182\/20080706-5-KR-1001.01105"},{"issue":"9","key":"14_CR23","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1016\/j.conengprac.2010.09.004","volume":"19","author":"M. Dotoli","year":"2011","unstructured":"Dotoli, M., Fanti, M.P., Mangini, A.M., Ukovich, W.: Identification of the unobservable behaviour of industrial automation systems by Petri nets. Control Engineering Practice\u00a019(9), 958\u2013966 (2011)","journal-title":"Control Engineering Practice"},{"issue":"3","key":"14_CR24","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10626-005-2866-8","volume":"15","author":"E. Garcia","year":"2005","unstructured":"Garcia, E., Correcher, A., Morant, F., Quiles, E., Blasco, R.: Modular fault diagnosis based on discrete event systems. Discrete Event Dynamic Systems\u00a015(3), 237\u2013256 (2005)","journal-title":"Discrete Event Dynamic Systems"},{"issue":"2","key":"14_CR25","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 Transactions on Automation Science and Engineering\u00a04(2), 206\u2013219 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"14_CR26","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. 6th IFAC World Congress, Prague, Czech Republic (2005)","DOI":"10.3182\/20050703-6-CZ-1902.00339"},{"key":"14_CR27","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., Veghese, 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":"14_CR28","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"H. Zad","year":"2003","unstructured":"Zad, H., Kwong, R.H., Wonham, W.M.: Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control\u00a048(7), 1199\u20131212 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR29","unstructured":"Jiroveanu, G., Boel, R.K.: Contextual analysis of Petri nets for distributed applications. In: Proc. 16th Int. Symp. on Mathematical Theory of Networks and Systems, Leuven, Belgium (2004)"},{"issue":"1","key":"14_CR30","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 Transactions on Automation Science and Engineering\u00a04(1), 114\u2013118 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"3","key":"14_CR31","doi-asserted-by":"publisher","first-page":"1096","DOI":"10.1109\/TSMCB.2003.820593","volume":"34","author":"J. Lunze","year":"2004","unstructured":"Lunze, J., Schroder, J.: Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics\u00a034(3), 1096\u20131107 (2004)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Informatik-Fachberichte: Application and Theory of Petri Nets, vol. 52, pp. 301\u2013310. Springer (1982)","DOI":"10.1007\/978-3-642-68353-4_47"},{"issue":"4","key":"14_CR33","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.conengprac.2005.02.002","volume":"14","author":"P.E. Miyagi","year":"2010","unstructured":"Miyagi, P.E., Riascos, L.A.M.: Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engineering Practice\u00a014(4), 397\u2013408 (2010)","journal-title":"Control Engineering Practice"},{"issue":"2","key":"14_CR34","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"},{"issue":"1","key":"14_CR35","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TASE.2006.872120","volume":"4","author":"A. Ramirez-Trevi\u00f1o","year":"2007","unstructured":"Ramirez-Trevi\u00f1o, A., Ruiz-Beltr\u00e1n, E., Rivera-Rangel, I., Lopez-Mellado, E.: Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Transactions on Automation Science and Engineering\u00a04(1), 31\u201339 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"14_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48745-X_8","volume-title":"Application and Theory of Petri Nets 1999","author":"L. Recalde","year":"1999","unstructured":"Recalde, L., Teruel, E., Silva, M.: Autonomous Continuous P\/T Systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639. Springer, Heidelberg (1999)"},{"issue":"9","key":"14_CR37","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 Transactions on Automatic Control\u00a040(9), 1555\u20131575 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"14_CR38","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 Transactions on Control Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"7","key":"14_CR39","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M. Sampath","year":"1998","unstructured":"Sampath, M., Lafortune, S.: Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control\u00a043(7), 908\u2013929 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR40","unstructured":"Silva, M., Velilla, S.: Error detection and correction on Petri net models of discrete control systems. In: Proc. IEEE Int. Symp. on Circuits and Systems, Kyoto, Japan (1985)"},{"issue":"2","key":"14_CR41","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.arcontrol.2004.05.002","volume":"28","author":"M. Silva","year":"2004","unstructured":"Silva, M., Recalde, L.: On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control\u00a028(2), 253\u2013266 (2004)","journal-title":"Annual Reviews in Control"},{"issue":"4","key":"14_CR42","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1109\/21.247896","volume":"23","author":"V.S. Sreenivas","year":"1993","unstructured":"Sreenivas, V.S., Jafari, M.A.: Fault detection and monitoring using time Petri nets. IEEE Transactions on Systems, Man and Cybernetics\u00a023(4), 1155\u20131162 (1993)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"3","key":"14_CR43","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1023\/B:DISC.0000028198.41139.20","volume":"14","author":"G. Sun","year":"2004","unstructured":"Sun, G., Cassandras, C.G., Panayiotou, C.G.: Perturbation analysis of multiclass stochastic fluid models. Discrete Event Dynamic Systems\u00a014(3), 267\u2013307 (2004)","journal-title":"Discrete Event Dynamic Systems"},{"key":"14_CR44","unstructured":"Viswanadham, N., Johnson, T.L.: Fault detection and diagnosis of automated manufacturing systems. In: Proc. 2th IEEE Conf. on Decision and Control, Austin, Texas (1988)"},{"issue":"12","key":"14_CR45","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 Transactions on Robotics and Automation\u00a050(12), 2048\u20132053 (2005)","journal-title":"IEEE Transactions on Robotics and Automation"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T13:08:51Z","timestamp":1674479331000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_14","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}