{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:07:46Z","timestamp":1740132466646,"version":"3.37.3"},"reference-count":4,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"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":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1109\/tac.2019.2897511","type":"journal-article","created":{"date-parts":[[2019,2,13]],"date-time":"2019-02-13T19:54:36Z","timestamp":1550087676000},"page":"1768-1768","source":"Crossref","is-referenced-by-count":2,"title":["Corrections to \u201cOn the Decidability and Complexity of Diagnosability for Labeled Petri Nets\u201d [Nov 17 5931-5938]"],"prefix":"10.1109","volume":"64","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1944-1570","authenticated-orcid":false,"given":"Xiang","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7526-6642","authenticated-orcid":false,"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2018-1706"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054111008428"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90059-O"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2699278"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8674705\/08641372.pdf?arnumber=8641372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:59:43Z","timestamp":1657745983000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8641372\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":4,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tac.2019.2897511","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"},{"type":"electronic","value":"2334-3303"}],"subject":[],"published":{"date-parts":[[2019,4]]}}}