{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:03Z","timestamp":1761487983733,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4434691","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T16:06:38Z","timestamp":1201536398000},"page":"1886-1891","source":"Crossref","is-referenced-by-count":13,"title":["Unfold and cover: Qualitative diagnosability for Petri Nets"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Decision number 03 S 481 See","year":"0","key":"17"},{"key":"18","first-page":"325","article-title":"event structures","volume":"255","author":"winskel","year":"1987","journal-title":"LNCS"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"13","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":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-003-0122-y"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01441211"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014746130920"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01463946"},{"year":"0","key":"10"},{"journal-title":"Research Report","article-title":"extended version: s. haar. diagnosability of asynchronous discrete event systems in partial order semantics","year":"2004","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271732"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-5238-5"},{"key":"4","article-title":"diagnosis of asynchronous discrete event systems, a net unfolding approach","volume":"48","author":"fabre","year":"2003","journal-title":"IEEE Trans Aut Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-4057-z"},{"article-title":"covering relation and diagnosability","year":"0","author":"haar","key":"8"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","start":{"date-parts":[[2007,12,12]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04434691.pdf?arnumber=4434691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:49:00Z","timestamp":1489690140000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4434691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4434691","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}