{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:44:12Z","timestamp":1757616252848,"version":"3.44.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"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":[[2019,12]]},"DOI":"10.1109\/cdc40024.2019.9029328","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T00:43:11Z","timestamp":1584060191000},"page":"1991-1996","source":"Crossref","is-referenced-by-count":0,"title":["Context-free Forbidden Path Control of Net Condition\/Event Systems"],"prefix":"10.1109","author":[{"given":"Jiafeng","family":"Zhang","sequence":"first","affiliation":[{"name":"Xidian University,School of Mechano-electronic Engineering,Xi’an,China,710071"}]},{"given":"Guangchao","family":"Luo","sequence":"additional","affiliation":[{"name":"Xidian University,School of Mechano-electronic Engineering,Xi’an,China,710071"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[{"name":"Macau University of Science and Technology,Institute of Systems Engineering"}]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[{"name":"Saarland University,Chair of Automation and Energy Systems,Saarbrücken,Germany,D-66123"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2217321"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.467679"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICMA.2007.4303707"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585647"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)58460-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018502131099"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538253"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.1997.7082406"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616302"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.646"},{"key":"ref5","article-title":"Designing efficient reconfigurable control systems using IEC61499 and symbolic model checking","author":"guellouz","year":"2018","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2757044"},{"key":"ref7","first-page":"1","article-title":"On methodology for the verification of reconfigurable timed net condition\/event systems","volume":"99","author":"hafidi","year":"2018","journal-title":"IEEE Transactions on Systems Man and Cybernetics Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2313352"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2018.8560459"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CIMAT.1994.389079"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2894566"}],"event":{"name":"2019 IEEE 58th Conference on Decision and Control (CDC)","start":{"date-parts":[[2019,12,11]]},"location":"Nice, France","end":{"date-parts":[[2019,12,13]]}},"container-title":["2019 IEEE 58th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8977134\/9028853\/09029328.pdf?arnumber=9029328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T18:14:19Z","timestamp":1757096059000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9029328\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc40024.2019.9029328","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}