{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:29:58Z","timestamp":1775028598226,"version":"3.50.1"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1109\/tsmca.2011.2159590","type":"journal-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:22:39Z","timestamp":1311193359000},"page":"226-237","source":"Crossref","is-referenced-by-count":83,"title":["A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets"],"prefix":"10.1109","volume":"42","author":[{"given":"ShouGuang","family":"Wang","sequence":"first","affiliation":[]},{"given":"ChengYing","family":"Wang","sequence":"additional","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"ZhiWu","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/81.285680"},{"key":"ref38","author":"starke","year":"1992","journal-title":"INA Integrated Net Analyzer"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2037825"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2009.2032678"},{"key":"ref30","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref37","first-page":"1","article-title":"An effective characterization of minimal deadlocks and traps in petri nets based on graph theory","author":"barkaoui","year":"1989","journal-title":"Proc 10th Int Conf Appl Theory Petri Nets"},{"key":"ref36","first-page":"283","author":"reveliotis","year":"2005","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058101"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.194"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20060468"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5326.760564"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1109\/TSMCA.2009.2027111","article-title":"Supervisor synthesis for enforcing a class of GMECs on Petri nets","volume":"39","author":"luo","year":"2009","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref20","first-page":"733","article-title":"A Petri net based deadlock prevention approach for flexible manufacturing systems","volume":"29","author":"li","year":"2003","journal-title":"Acta Autom Sin"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2006.326915"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/70.86081"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208095621"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/70.964666"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2004.823875"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.888049"},{"key":"ref54","first-page":"56","article-title":"Resource-oriented Petri Net for deadlock avoidance in flexible assembly systems","volume":"38","author":"wu","year":"0","journal-title":"IEEE Trans Systems Man Cybern Part C"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/21.229464"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2005.4"},{"key":"ref40","year":"2010","journal-title":"Computation results for SMS of S3PR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0708-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853504"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271733"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207540110073037"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897339"},{"key":"ref6","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Anufacturing Systems A Novel Petri Net Approach"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916925"},{"key":"ref46","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"ref45","year":"1995","journal-title":"Petri Nets in Flexible and Agile Automation"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1002\/rob.4620120303","article-title":"Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis","volume":"12","author":"zhou","year":"0","journal-title":"J Robotic Syst"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref42","author":"wu","year":"2010","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"1348","DOI":"10.1109\/TSMCA.2009.2030162","article-title":"Comment 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":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"ref43","year":"2005","journal-title":"Deadlock Resolution in Computer-Integrated Systems"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/6104235\/05954190.pdf?arnumber=5954190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:53:19Z","timestamp":1642006399000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5954190\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":60,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2011.2159590","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}