{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:43:38Z","timestamp":1780674218034,"version":"3.54.1"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":["61602279"],"award-info":[{"award-number":["61602279"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472229"],"award-info":[{"award-number":["61472229"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61374148"],"award-info":[{"award-number":["61374148"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Development Fund of Shandong Province","award":["2016ZDJS02A11"],"award-info":[{"award-number":["2016ZDJS02A11"]}]},{"name":"Science and Technology Development Fund of Shandong Province","award":["2014GGX101035"],"award-info":[{"award-number":["2014GGX101035"]}]},{"DOI":"10.13039\/501100003091","name":"Shandong Province","doi-asserted-by":"publisher","award":["201603056"],"award-info":[{"award-number":["201603056"]}],"id":[{"id":"10.13039\/501100003091","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004204","name":"Tongji University","doi-asserted-by":"publisher","award":["ESSCKF201403"],"award-info":[{"award-number":["ESSCKF201403"]}],"id":[{"id":"10.13039\/501100004204","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Taishan Scholar Climbing Program of Shandong Province"},{"DOI":"10.13039\/501100004295","name":"Shandong University of Science and Technology","doi-asserted-by":"publisher","award":["2015TDJH102"],"award-info":[{"award-number":["2015TDJH102"]}],"id":[{"id":"10.13039\/501100004295","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/tsmc.2017.2692262","type":"journal-article","created":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T18:26:01Z","timestamp":1494008761000},"page":"1164-1174","source":"Crossref","is-referenced-by-count":27,"title":["Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1992-7127","authenticated-orcid":false,"given":"Faming","family":"Lu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qingtian","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yunxia","family":"Bao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2515063"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1002\/9781119036821"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2342199"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/JAS.2016.7510070","article-title":"Hybrid Petri nets for modeling and analysis of microgrid systems","volume":"3","author":"lu","year":"2016","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2578645"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510313"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2693688"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2362819"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2405792"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.22369\/issn.2153-4136\/3\/1\/7"},{"key":"ref10","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 Appl Rev"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/828.322441"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/322344.322351"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1991.169706"},{"key":"ref15","first-page":"119","article-title":"Automated generation of modified reachability trees for Petri nets","author":"wong","year":"1992","journal-title":"Proc Reg Control Conf"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2015.7296528"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2433892"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8811.001.0001","author":"van der aalst","year":"2011","journal-title":"Modeling Business Processes A Petri Net-Oriented Approach"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2285574"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2242465"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2277696"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.986215"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2330555"},{"key":"ref2","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref1","author":"hr\u00faz","year":"2007","journal-title":"Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5239-9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2006.876811"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/3468.747852"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2014-1002","article-title":"Old and new algorithms for minimal coverability sets","volume":"131","author":"valmari","year":"2014","journal-title":"Fundamenta Informaticae"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56689-9_45"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2521736"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1002\/9781119035848","author":"chang","year":"2015","journal-title":"Sustainable Solid Waste Management A Systems Engineering Approach"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/8715690\/07920387.pdf?arnumber=7920387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T23:34:30Z","timestamp":1719185670000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7920387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":39,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2017.2692262","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6]]}}}