{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T03:05:43Z","timestamp":1775099143020,"version":"3.50.1"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004731","name":"Zhejiang Natural Science Foundation","doi-asserted-by":"publisher","award":["LQ20F020009"],"award-info":[{"award-number":["LQ20F020009"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Public technology research plan of Zhejiang Province","award":["LGJ21F030001"],"award-info":[{"award-number":["LGJ21F030001"]}]},{"name":"Zhejiang Provincial Key Laboratory of New Network Standards and Technologies","award":["2013E10012"],"award-info":[{"award-number":["2013E10012"]}]},{"DOI":"10.13039\/501100004054","name":"Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU), Jeddah, Saudi Arabia","doi-asserted-by":"publisher","award":["D-60-135-1442"],"award-info":[{"award-number":["D-60-135-1442"]}],"id":[{"id":"10.13039\/501100004054","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,1]]},"DOI":"10.1109\/tsmc.2022.3174421","type":"journal-article","created":{"date-parts":[[2022,6,6]],"date-time":"2022-06-06T20:10:25Z","timestamp":1654546225000},"page":"191-203","source":"Crossref","is-referenced-by-count":22,"title":["A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets"],"prefix":"10.1109","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8998-0433","authenticated-orcid":false,"given":"ShouGuang","family":"Wang","sequence":"first","affiliation":[{"name":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1558-7559","authenticated-orcid":false,"given":"Xin","family":"Guo","sequence":"additional","affiliation":[{"name":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7061-7108","authenticated-orcid":false,"given":"Oussama","family":"Karoui","sequence":"additional","affiliation":[{"name":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9088-9672","authenticated-orcid":false,"given":"Dan","family":"You","sequence":"additional","affiliation":[{"name":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"}]},{"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, and Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538436"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2815618"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.031"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2754982"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2190139"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.12.004"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_14"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003003"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2169956"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.09.010"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911576"},{"key":"ref1","author":"reveliotis","year":"2005","journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2020.2998091"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cps.2018.0008"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2587671"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2732442"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2230814"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1177\/1687814017693542"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853504"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507162"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.08.037"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003210"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2013.827257"},{"key":"ref52","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/TSMC.2014.2376476","article-title":"Synthesis of monitor-based liveness-enforcing supervisors for S³PR with $?$-resources","volume":"45","author":"you","year":"2015","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2771751"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2558106"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2920677"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2179422"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2159112"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024480"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2011.2160000"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003207"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2014.977977"},{"key":"ref5","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":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2917882"},{"key":"ref49","author":"iordache","year":"2006","journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2420619"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108706"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/9990979\/09789159.pdf?arnumber=9789159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T19:24:44Z","timestamp":1673897084000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9789159\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1]]},"references-count":61,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2022.3174421","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1]]}}}