{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T21:09:20Z","timestamp":1723237760629},"reference-count":77,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61304052","61374066","61374148","61273152"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Outstanding Young Research Award Fund of Shandong Province","award":["BS2013DX005"]},{"name":"China Post-Doctoral Science Foundation on the 55th Grant Program","award":["2014M551741"]},{"name":"Development Projects of Shandong Province Science and Technology","award":["2013GNC11012"]},{"name":"Doctoral Fund of Ludong University","award":["LY2013008"]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/tsmc.2014.2347267","type":"journal-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T18:41:58Z","timestamp":1410374518000},"page":"519-529","source":"Crossref","is-referenced-by-count":46,"title":["Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets"],"prefix":"10.1109","volume":"45","author":[{"family":"Huixia Liu","sequence":"first","affiliation":[]},{"family":"Keyi Xing","sequence":"additional","affiliation":[]},{"family":"Weimin Wu","sequence":"additional","affiliation":[]},{"family":"MengChu Zhou","sequence":"additional","affiliation":[]},{"family":"Hailin Zou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2013.6653915"},{"key":"ref72","first-page":"113","article-title":"Scheduling single-arm multi-cluster tools with lower bound cycle time via Petri nets","volume":"18","author":"zhu","year":"2012","journal-title":"Int J Intell Control Syst"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2013.2278378"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2014.6899308"},{"key":"ref76","first-page":"565","article-title":"Guest editorial: Special section on Petri nets in manufacturing","volume":"41","author":"zurawski","year":"1994","journal-title":"IEEE Trans Ind Electron"},{"key":"ref77","first-page":"669","article-title":"Functional and behavioral modeling of automated manufacturing systems","author":"zurawski","year":"1996","journal-title":"Handbook of Industrial Electronic Engineering"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631075"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923062"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref38","first-page":"277","article-title":"A Petri net method for deadlock-free scheduling of flexible manufacturing systems","volume":"3","author":"xiong","year":"1999","journal-title":"Int J Intell Control Syst"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406338"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.560204"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170419"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/66.705373"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2011.2170678"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048898"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/3477.484449"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/5326.661096"},{"key":"ref61","first-page":"401","article-title":"Discrete event control design methods: A review","volume":"9","author":"zhou","year":"1996","journal-title":"Preprints of 13th World Congress of IFAC"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/87.388133"},{"key":"ref28","author":"wu","year":"2009","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref64","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"ref27","first-page":"56","article-title":"Resource-oriented Petri net for deadlock avoidance in flexible assembly systems","volume":"384","author":"wu","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2207453"},{"key":"ref66","doi-asserted-by":"crossref","first-page":"1442","DOI":"10.1109\/TSMCA.2008.2003965","article-title":"Role transfer problems and algorithms","volume":"38","author":"zhu","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406346"},{"key":"ref67","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1109\/TSMCC.2008.919168","article-title":"Roles in information systems: A survey","volume":"38","author":"zhu","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159587"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170414"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2238923"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/9.633824"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"},{"key":"ref23","first-page":"374","article-title":"Petri nets and flexible manufacturing","author":"silva","year":"1989","journal-title":"Advances in Petri Nets"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.888049"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ITRE.2003.1270592"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1002\/rob.4620120303"},{"key":"ref59","author":"zhou","year":"2005","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1115\/1.2905428"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/70.86081"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/21.44011"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2231-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.851338"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/3477.558787"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2009103"},{"key":"ref12","first-page":"233","article-title":"Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons","author":"jeng","year":"2005","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"ref13","first-page":"834","article-title":"Structural analysis methods for Petri net based control systems: A review","volume":"8","author":"khan","year":"2012","journal-title":"J Amer Sci"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"ref16","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":"ref17","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1016\/j.automatica.2013.12.015","article-title":"Robust control reconfiguration of resource allocation systems with Petri nets and integer programming","volume":"51","author":"li","year":"2014","journal-title":"Automatica"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.07.023"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1348","DOI":"10.1109\/TSMCA.2009.2030162","article-title":"Comments on ‘On siphon computation for deadlock control in a class of Petri nets’","volume":"39","author":"liu","year":"2009","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1110-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386305"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198661"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2012.690049"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406347"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2014.6899307"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2014.2312192"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.3390\/s110303381"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2248358"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2010100101"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907330"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008912805440"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/7031988\/06895143.pdf?arnumber=6895143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:40:59Z","timestamp":1642005659000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6895143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":77,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2014.2347267","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3]]}}}