{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:08:17Z","timestamp":1761487697084,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1583172","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"6305-6310","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Diagnosis for Petri Nets models with unobservable interactions via common places"],"prefix":"10.1109","author":[{"given":"G.","family":"Jiroveanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.K.","family":"Boel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"531","article-title":"Compositional analysis with place-bordered subnets","volume":"815","author":"valmari","year":"1994","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033534"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.860291"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45187-7_1"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00019-3"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_37"},{"key":"10","article-title":"Using unfoldings to avoid the state space explosion problem in veri\ufffdcation of asynchronous circuits","volume":"663","author":"mcmillan","year":"1992","journal-title":"LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"6","article-title":"Distributed diagnosis for DES using Petri Nets","author":"gene","year":"2003","journal-title":"ATPN'03"},{"key":"5","article-title":"Monotonic extensions of Petri Nets: Forward and backward search revisited","author":"finkel","year":"2001","journal-title":"Technology Transfer"},{"key":"4","article-title":"Distributed Contextual Diagnosis for very large systems","author":"boel","year":"2004","journal-title":"WODES'04"},{"key":"9","article-title":"Explanatory diagnosis: Conjecturing actions to explain observation","author":"mcilraith","year":"1998","journal-title":"Principles of Knowledge Representation"},{"journal-title":"Contextual analysis of partially observable large Petri Net models submitted to JDEDS","year":"2004","author":"jiroveanu","key":"8"}],"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\/01583172.pdf?arnumber=1583172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T04:05:18Z","timestamp":1489550718000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1583172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1583172","relation":{},"subject":[]}}