{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T21:11:15Z","timestamp":1774905075859,"version":"3.50.1"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/tac.2015.2405293","type":"journal-article","created":{"date-parts":[[2015,2,24]],"date-time":"2015-02-24T19:37:32Z","timestamp":1424806652000},"page":"2321-2335","source":"Crossref","is-referenced-by-count":37,"title":["Diagnosis of Time Petri Nets Using Fault Diagnosis Graph"],"prefix":"10.1109","volume":"60","author":[{"given":"Xu","family":"Wang","sequence":"first","affiliation":[]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"pocci","year":"2009","journal-title":"Matlab Toolbox for the Diagnosis of Discrete PNs"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2009095"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6647939"},{"key":"ref32","first-page":"41","article-title":"An enumerative approach for analyzing time Petri nets","volume":"9","author":"berthomieu","year":"0","journal-title":"IFIP Congress Series"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_19"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.12.021"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.195"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2290314"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648063"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008335115538"},{"key":"ref40","year":"0","journal-title":"GNU Linear Programming Kit Version 4 48"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(97)00046-4"},{"key":"ref13","first-page":"6323","article-title":"Fault detection for discrete event systems using {P}etri nets with unobservable transitions","author":"giua","year":"0","journal-title":"Proc 44th IEEE Conf Decision Control Eur Control Conf (CDC-ECC'05)"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","article-title":"Marking estimation of Petri nets with silent transitions","volume":"52","author":"corona","year":"2007","journal-title":"IEEE Trans Autom Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-009-0074-7"},{"key":"ref17","first-page":"921","article-title":"Error detection and correction on Petri net models of discrete events control systems","author":"silva","year":"0","journal-title":"Proc IEEE Int Symp Circuits Syst (ISCAS)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2183358"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760890"},{"key":"ref28","author":"ramchandani","year":"1974","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2052036"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-009-0060-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2013.09.009"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.11.007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042348"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648060"},{"key":"ref7","first-page":"8687","article-title":"On state estimation of timed choice-free Petri nets","author":"wang","year":"0","journal-title":"Proc 18th IFAC World Congress"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref9","first-page":"434","article-title":"Model checking on fault diagnosis graph","author":"wang","year":"0","journal-title":"Proc 12th Int Workshop Discrete Event Syst (WODES’14)"},{"key":"ref1","first-page":"2459","article-title":"Fault diagnosis graph of time Petri nets","author":"wang","year":"0","journal-title":"Proc Eur Control Conf (ECC)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.07.021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2014932"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2007.4433769"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp036"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341735"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184601"},{"key":"ref23","first-page":"168","article-title":"Fault detection by labeled Petri nets and time constraints","author":"fanti","year":"0","journal-title":"Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS 2011)"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2011.10.001"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678448"},{"key":"ref43","author":"wang","year":"2013","journal-title":"Toolbox for Diagnosis on TPN"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8_17"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7225196\/07047767.pdf?arnumber=7047767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:52:00Z","timestamp":1642006320000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7047767\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":44,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2405293","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9]]}}}