{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T04:39:23Z","timestamp":1769834363862,"version":"3.49.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"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":[],"published-print":{"date-parts":[[2024,8,28]]},"DOI":"10.1109\/case59546.2024.10711796","type":"proceedings-article","created":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:40:16Z","timestamp":1729705216000},"page":"3400-3405","source":"Crossref","is-referenced-by-count":1,"title":["Robust Liveness Controllers for Time Petri Nets With Unreliable Resources"],"prefix":"10.1109","author":[{"given":"Xiaobin","family":"Zhang","sequence":"first","affiliation":[{"name":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yonglai","family":"Wang","sequence":"additional","affiliation":[{"name":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Biaohua","family":"Xu","sequence":"additional","affiliation":[{"name":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaiyun","family":"Liu","sequence":"additional","affiliation":[{"name":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.01.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2815618"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/02533839.2018.1498023"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.049"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2558106"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2926758"},{"key":"ref7","article-title":"A study of the recoverability of computing systems","volume-title":"PhD thesis","author":"Merlin","year":"1974"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2914895"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-8133-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611647.ch9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.110119"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/cth2.12384"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2024.120460"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2023.3312222"}],"event":{"name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","location":"Bari, Italy","start":{"date-parts":[[2024,8,28]]},"end":{"date-parts":[[2024,9,1]]}},"container-title":["2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10711304\/10711288\/10711796.pdf?arnumber=10711796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T01:32:47Z","timestamp":1732671167000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10711796\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/case59546.2024.10711796","relation":{},"subject":[],"published":{"date-parts":[[2024,8,28]]}}}