{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T08:49:56Z","timestamp":1765356596700,"version":"3.37.3"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472295","61703321","61873342"],"award-info":[{"award-number":["61472295","61703321","61873342"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100013290","name":"National Key Research and Development Program of China Stem Cell and Translational Research","doi-asserted-by":"publisher","award":["2018YFB1700104"],"award-info":[{"award-number":["2018YFB1700104"]}],"id":[{"id":"10.13039\/501100013290","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shaanxi Provincial Natural Science Foundation","award":["2019JQ-022"],"award-info":[{"award-number":["2019JQ-022"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["JB190407"],"award-info":[{"award-number":["JB190407"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science Technology Development Fund, MSAR","award":["0012\/2019\/A1"],"award-info":[{"award-number":["0012\/2019\/A1"]}]},{"name":"Region Sardinia","award":["FSC 2014\u20132020","RASSR05871\u2014MOSIMA"],"award-info":[{"award-number":["FSC 2014\u20132020","RASSR05871\u2014MOSIMA"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1109\/tac.2019.2942570","type":"journal-article","created":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T19:44:12Z","timestamp":1568922252000},"page":"2662-2669","source":"Crossref","is-referenced-by-count":7,"title":["Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5787-5738","authenticated-orcid":false,"given":"Ziyue","family":"Ma","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1627-2946","authenticated-orcid":false,"given":"Guanghui","family":"Zhu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1547-5503","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3859-9472","authenticated-orcid":false,"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2389313"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.12.004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2336431"},{"key":"ref13","first-page":"947","article-title":"Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions","author":"giua","year":"0","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2027111"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2012.2235427"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585647"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2586604"},{"journal-title":"Dynamic Programming","year":"1957","author":"bellman","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0202-x"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets—A literature review","volume":"42","author":"li","year":"2012","journal-title":"IEEE Trans Syst Man Cybern C"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2722382"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0190-x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264375"},{"journal-title":"Knapsack Problems Algorithms and Computer Implementations","year":"1990","author":"martello","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICITECHNOLOGY.2007.4290435"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.07.042"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_23"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9103099\/08844789.pdf?arnumber=8844789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T16:24:08Z","timestamp":1651076648000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8844789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":25,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2019.2942570","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":[[2020,6]]}}}