{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:59:03Z","timestamp":1761487143723,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1271732","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"3748-3753","source":"Crossref","is-referenced-by-count":14,"title":["Partial order diagnosability of discrete event systems using petri net unfoldings"],"prefix":"10.1109","author":[{"given":"S.","family":"Haar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Benveniste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Jard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"227","article-title":"Liveness verification of discrete-event systems modeled by n-safe Petri nets","volume":"1825","author":"he","year":"0","journal-title":"Proc 21st ICATPN 2000"},{"key":"17","first-page":"251","author":"katsela","year":"1995","journal-title":"Integrated Network Management IV"},{"key":"18","first-page":"582","article-title":"Canonical Prefixes of Petri Net Unfoldings","volume":"2404","author":"khomenko","year":"2002","journal-title":"Proc CAV 2002"},{"key":"15","first-page":"281","article-title":"Probabilistic Cluster Unfoldings","volume":"53","author":"haar","year":"2002","journal-title":"Fundamenta Informaticae"},{"key":"16","first-page":"188","article-title":"Monitoring discrete event systems using Petri net embeddings","volume":"1639","author":"hadjicostis","year":"1999","journal-title":"Proc 20st (ICATPN)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.652507"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"11","article-title":"Distributed diagnosis for large discrete event dynamic systems","author":"fabre","year":"0","journal-title":"IFAC Cong 2002"},{"journal-title":"Methods and Systems for Alarm Correlation","year":"1996","author":"gardner","key":"12"},{"journal-title":"MAGDA Project","year":"0","key":"21"},{"key":"20","article-title":"On the existence of liveness-enforcing supervisory policies of discrete-event systems modeled by n-safe Petri nets","author":"he","year":"0","journal-title":"Proc IFAC'2002 Conf on Cont Syst Design"},{"key":"22","first-page":"164","article-title":"Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits","author":"mcmillan","year":"1992","journal-title":"4th Workshop on Computer Aided Verification"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1987.1087858"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"28","first-page":"144","article-title":"Diagnosis and communications in distributed systems","author":"sengupta","year":"0","journal-title":"Proceedings WODES 1998"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/.2001.980822"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.1994.577079"},{"key":"10","first-page":"714","article-title":"Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach","volume":"48","author":"fabre","year":"0","journal-title":"IEEE Trans Aut Control"},{"key":"1","article-title":"Markov nets: Probabilistic models for distributed and concurrent systems","volume":"4235","author":"benveniste","year":"2002","journal-title":"INRIA Report"},{"key":"30","first-page":"325","article-title":"Event Structures","volume":"255","author":"winskel","year":"1987","journal-title":"Advances in Petri Nets"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014746130920"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00019-0"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802762"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01463946"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.914132"},{"key":"8","article-title":"An unfolding algorithm for synchronous products of transition systems","volume":"1664","author":"esparza","year":"1999","journal-title":"Proc CONCUR'99"}],"event":{"name":"42nd IEEE International Conference on Decision and Control","acronym":"CDC-03","location":"Maui, HI, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28456\/01271732.pdf?arnumber=1271732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:02:54Z","timestamp":1489446174000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271732\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1271732","relation":{},"subject":[]}}