{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:39:17Z","timestamp":1764959957483,"version":"3.46.0"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/icsmc.2005.1571384","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"1645-1650 Vol. 2","source":"Crossref","is-referenced-by-count":7,"title":["Fault detection and location in DES using Petri nets"],"prefix":"10.1109","author":[{"given":"E.","family":"Ruiz-Beltran","sequence":"first","affiliation":[{"name":"CINVESTAV Unidad Guadalajara, Mexico"}]},{"given":"I.","family":"Jimenez-Ochoa","sequence":"additional","affiliation":[{"name":"CINVESTAV Unidad Guadalajara, Mexico"}]},{"given":"A.","family":"Ramirez-Trevino","sequence":"additional","affiliation":[{"name":"CINVESTAV Unidad Guadalajara, Mexico"}]},{"given":"E.","family":"Lopez-Mellado","sequence":"additional","affiliation":[{"name":"CINVESTAV Unidad Guadalajara, Mexico"}]},{"given":"M.","family":"Meda-Campana","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref10","first-page":"188","article-title":"Monitoring Discrete Event Systems Using Petri Net Embeddings","author":"hadjicostis","year":"1999","journal-title":"Application and theory of Petri Nets (ICATN) no 1639 in Lecture Notes in Computer Science"},{"key":"ref6","first-page":"39","article-title":"Structured Redundancy for Fault Tolerance in State-Space models and Petri Nets","volume":"35","author":"hadjicostis","year":"1999","journal-title":"Kybernetica"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90074-C"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1245731"},{"key":"ref7","first-page":"316","article-title":"Distributed Diagnosis of Discrete Event Systems Using Petri Nets","author":"genc","year":"2003","journal-title":"Proceedings of the 24th ATPN"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"ref9","first-page":"541","article-title":"Diagnosability of Discrete Event Systems. A Petri Net Based Approach","author":"ram\u00edrez-trevi\u00f1o","year":"2004","journal-title":"Proceedings of the IEEE ICRA"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"}],"event":{"name":"The International Conference on System, Man and Cybernetics","start":{"date-parts":[[2005,10,12]]},"location":"Waikoloa, HI, USA","end":{"date-parts":[[2005,10,12]]}},"container-title":["2005 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10498\/33255\/01571384.pdf?arnumber=1571384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:35:14Z","timestamp":1764959714000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1571384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2005.1571384","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}