{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T20:51:00Z","timestamp":1784753460086,"version":"3.55.0"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"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":["61903229"],"award-info":[{"award-number":["61903229"]}],"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":["61973180"],"award-info":[{"award-number":["61973180"]}],"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":["62072287"],"award-info":[{"award-number":["62072287"]}],"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":["62072288"],"award-info":[{"award-number":["62072288"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2022MF270"],"award-info":[{"award-number":["ZR2022MF270"]}],"id":[{"id":"10.13039\/501100007129","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":[[2023,8]]},"DOI":"10.1109\/tsmc.2023.3241101","type":"journal-article","created":{"date-parts":[[2023,4,17]],"date-time":"2023-04-17T18:06:48Z","timestamp":1681754808000},"page":"4968-4979","source":"Crossref","is-referenced-by-count":31,"title":["A State-Equation-Based Backward Approach to a Legal Firing Sequence Existence Problem in Petri Nets"],"prefix":"10.1109","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0762-5607","authenticated-orcid":false,"given":"Liang","family":"Qi","sequence":"first","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7858-7599","authenticated-orcid":false,"given":"Yue","family":"Su","sequence":"additional","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8025-0453","authenticated-orcid":false,"given":"Abdullah","family":"Abusorrah","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Faculty of Engineering, K. A. CARE Energy Research and Innovation Center, King Abdulaziz University, Jeddah, Saudi Arabia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1996.573746"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2018.8560459"},{"key":"ref12","first-page":"231","article-title":"Reduction method for reachability analysis of Petri nets","volume":"8","author":"han","year":"2003","journal-title":"Tsinghua Sci Technol"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2006.1693625"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2585348"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CCWC51732.2021.9376131"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884478"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1994.409556"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF02714572"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2600402"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_26"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2012.6204900"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725387"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2020.3020588"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.800641"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.23919\/ChiCC.2019.8866272"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s00366-008-0122-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCASM.2010.5622322"},{"key":"ref18","first-page":"685","article-title":"Reachable relation of markings analysis using net unfolding","author":"wang","year":"2007","journal-title":"Proc Chin Control Conf"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2003.1205001"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9446-3"},{"key":"ref23","first-page":"2996","article-title":"Generating minimal siphons and traps for Petri nets","author":"mu","year":"1996","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2692262"},{"key":"ref26","first-page":"277","article-title":"Legal firing sequence and related problems of Petri nets","author":"watanabe","year":"1989","journal-title":"Proc Int'l Workshop Petri Nets and Performance Models"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3174421"},{"key":"ref25","first-page":"6586","article-title":"Modeling and reachability analysis of a class of Petri nets via semi-tensor product of matrices","author":"han","year":"2015","journal-title":"Proc Chin Control Conf"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3206999"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2894778"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003003"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850171"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003207"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2007.4459954"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003210"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.1996.601555"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1996.541481"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.625760"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DDCLS49620.2020.9275182"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2020.3005392"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2791527"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2625324"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2876343"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2692204"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICA-ACCA.2018.8609789"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303793"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/10186109\/10103208.pdf?arnumber=10103208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,7]],"date-time":"2023-08-07T18:19:59Z","timestamp":1691432399000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10103208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":48,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2023.3241101","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]}}}