{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:52:01Z","timestamp":1768351921444,"version":"3.49.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1583175","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"6323-6328","source":"Crossref","is-referenced-by-count":63,"title":["Fault detection for discrete event systems using Petri nets with unobservable transitions"],"prefix":"10.1109","author":[{"given":"A.","family":"Giua","sequence":"first","affiliation":[]},{"given":"C.","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725394"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814099"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/9.701089"},{"key":"3","article-title":"Distributed contextual diagnosis for very large systems","author":"boel","year":"2004","journal-title":"Proc IFAC WODES'04 7th Work on Discrete Event Systems (Reims France)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008241818642"},{"key":"10","first-page":"301","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri net","author":"martinez","year":"1982","journal-title":"Informatik-Fachberichte 52 Application and Theory of Petri Nets Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets Strasbourg Sep 23-26 1980 Bad Honnef Sep 28-30 1981"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.829616"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008335115538"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428810"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167685"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.820593"},{"key":"8","article-title":"Contextual analysis of Petri nets for distributed applications","author":"jiroveanu","year":"2004","journal-title":"16th Int Symp on Mathematical Theory of Networks and Systems (Leuven Belgium)"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01583175.pdf?arnumber=1583175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T04:11:40Z","timestamp":1489551100000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1583175\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1583175","relation":{},"subject":[]}}