{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T17:21:07Z","timestamp":1758043267066,"version":"3.44.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T00:00:00Z","timestamp":1756080000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T00:00:00Z","timestamp":1756080000000},"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":[[2025,8,25]]},"DOI":"10.1109\/ccta53793.2025.11151377","type":"proceedings-article","created":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:29:23Z","timestamp":1757611763000},"page":"01-05","source":"Crossref","is-referenced-by-count":0,"title":["Enforcing Liveness in a Subclass of PN with any Acceptable Initial Marking"],"prefix":"10.1109","author":[{"given":"Ra\u00fal I.","family":"Garc\u00eda-Adame","sequence":"first","affiliation":[{"name":"Unidad Guadalajara, CINVESTAV,Zapopan,Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Navarro-Casta\u00f1eda","sequence":"additional","affiliation":[{"name":"Unidad Guadalajara, CINVESTAV,Zapopan,Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura E.","family":"Rubio-Anguiano","sequence":"additional","affiliation":[{"name":"Unidad Guadalajara, CINVESTAV,Zapopan,Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Navarro-Guti\u00e9rrez","sequence":"additional","affiliation":[{"name":"Escuela de Ingenieria y Ciencias, Tecnologico de Monterrey,Zapopan,Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.006"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.09.001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s001700200014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2010.504785"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1399926"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2023.105819"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1125-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"ref13","first-page":"13","article-title":"Regulation control of discrete event systems for industrial automation","volume":"2","author":"Guevara-Lozano","year":"2019","journal-title":"Advances in Robotics and Automation Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0116-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_19"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2754982"}],"event":{"name":"2025 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2025,8,25]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2025,8,27]]}},"container-title":["2025 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11151269\/11151271\/11151377.pdf?arnumber=11151377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T05:03:01Z","timestamp":1757653381000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11151377\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,25]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ccta53793.2025.11151377","relation":{},"subject":[],"published":{"date-parts":[[2025,8,25]]}}}