{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:18:56Z","timestamp":1766269136360,"version":"3.37.3"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"name":"Zhejiang Education Committee Foundation","award":["Y201534600"],"award-info":[{"award-number":["Y201534600"]}]},{"name":"521 Talent Plan of Zhejiang Sci-Tech University"},{"name":"Dr. Start-up Funding of Zhejiang Sci-Tech University","award":["18032117-Y"],"award-info":[{"award-number":["18032117-Y"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2868981","type":"journal-article","created":{"date-parts":[[2018,9,12]],"date-time":"2018-09-12T18:54:38Z","timestamp":1536778478000},"page":"50648-50658","source":"Crossref","is-referenced-by-count":15,"title":["Deadlock Prevention Policy for S<sup>4<\/sup>PR Nets Based on Siphon"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5298-668X","authenticated-orcid":false,"given":"Qiaoli","family":"Zhuang","sequence":"first","affiliation":[]},{"given":"Wenzhan","family":"Dai","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8998-0433","authenticated-orcid":false,"given":"Shouguang","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Fan","family":"Ning","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/TCST.2015.2420619"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/TSMC.2013.2238923"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/TSMCA.2010.2048898"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1002\/asjc.292"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/70.650158"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ROBOT.2005.1570131"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/TSMCA.2003.820576"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref14","first-page":"1","article-title":"Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors","author":"hong","year":"2015","journal-title":"Discrete Dyn Nature Soc"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TSMC.2017.2665479"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/ACCESS.2017.2763783"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TSMC.2016.2587671"},{"key":"ref18","article-title":"Supervisor synthesis for FMS based on critical activity places","author":"huang","year":"0","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref19","article-title":"Decentralized diagnosis by Petri nets and integer linear programming","author":"cong","year":"0","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1049\/iet-cta.2010.0186"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/70.370500"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/j.ins.2013.07.021"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1002\/asjc.837"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TSMCA.2008.2003535"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/TSMCA.2012.2190139"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/9.956052"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TSMCA.2007.893484"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1080\/00207540010002405"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1177\/1687814017693542"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1109\/TSMC.2014.2347267","article-title":"Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets","volume":"45","author":"liu","year":"2015","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/TASE.2017.2693995"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/JAS.2017.7510406"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/JAS.2015.7296528"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/ACCESS.2018.2796640"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/ACCESS.2018.2797213"},{"key":"ref26","article-title":"Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs","author":"liu","year":"0","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1093\/comjnl\/bxl019"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08458483.pdf?arnumber=8458483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T08:54:51Z","timestamp":1643187291000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8458483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2868981","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2018]]}}}