{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:39Z","timestamp":1761487899123},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4283060","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T12:01:54Z","timestamp":1186574514000},"page":"5655-5656","source":"Crossref","is-referenced-by-count":2,"title":["On Probabilistic Diagnosis for Free-Choice Petri Nets"],"prefix":"10.1109","author":[{"given":"Jana","family":"Flochova","sequence":"first","affiliation":[]},{"given":"Rene K.","family":"Boel","sequence":"additional","affiliation":[]},{"given":"George","family":"Jiroveanu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Probabilistic cluster unfoldings for Petri Nets","author":"haar","year":"2003","journal-title":"Technical report 1517 IRISA Rennes France"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"6323","DOI":"10.1109\/CDC.2005.1583175","article-title":"Fault detection for DES using Petri nets with unobservable transitions","author":"giua","year":"2005","journal-title":"Proc of IEEE Conference on Decision and Control"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384314"},{"key":"ref5","first-page":"210","article-title":"Fault Diagnosis for Large Petri Nets","author":"jiroveanu","year":"2006"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","article-title":"An improvement of McMillan's unfolding algorithm","author":"esparza","year":"1996","journal-title":"Lect Notes in Computer Science 1055"},{"key":"ref9","article-title":"Probabilistic Reasoning in Distributed Diagnosis for Qualitative Systems","author":"su","year":"2002","journal-title":"Proc of IEEE Conference on Decision and Control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"}],"event":{"name":"2007 American Control Conference","start":{"date-parts":[[2007,7,9]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04283060.pdf?arnumber=4283060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T17:01:55Z","timestamp":1556730115000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4283060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4283060","relation":{},"ISSN":["0743-1619"],"issn-type":[{"type":"print","value":"0743-1619"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}