{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T09:57:11Z","timestamp":1648547831141},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"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. C"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/tsmcc.2012.2189385","type":"journal-article","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T14:03:41Z","timestamp":1334757821000},"page":"1204-1218","source":"Crossref","is-referenced-by-count":11,"title":["Iterative Deadlock Control by Using Petri Nets"],"prefix":"10.1109","volume":"42","author":[{"given":"AnRong","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZhiWu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdulrahman M.","family":"Al-Ahmari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"0"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_14"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref32","year":"0"},{"key":"ref31","year":"0"},{"key":"ref30","year":"0"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538247"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2010.2057425"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2010.2042446"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref60","year":"0"},{"key":"ref62","year":"0"},{"key":"ref61","year":"0"},{"key":"ref63","year":"0"},{"key":"ref28","year":"0"},{"key":"ref64","year":"0"},{"key":"ref27","year":"0"},{"key":"ref29","year":"0"},{"key":"ref2","year":"0"},{"key":"ref1","first-page":"57","article-title":"On liveness and controlled siphons in Petri nets","volume":"1091","author":"barkaoui","year":"1996","journal-title":"Proc 17th Int Conf Appl Theory Petri Nets"},{"key":"ref20","first-page":"172","article-title":"A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref22","author":"li","year":"2009","journal-title":"Modeling Analysis and Deadlock Control of Automated Manufacturing Systems"},{"key":"ref21","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1109\/TSMCC.2009.2037824","article-title":"Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets","volume":"40","author":"li","year":"2010","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSMCC.2008.2007246","article-title":"A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems","volume":"39","author":"li","year":"2009","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"ref25","year":"0"},{"key":"ref50","first-page":"1","article-title":"Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint","volume":"39","author":"wu","year":"2009","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/TSMCC.2009.2032661","article-title":"Hybrid Petri net modeling and schedulability analysis of high fusion point oil transportation under tank grouping strategy for crude oil operations in refinery","volume":"40","author":"wu","year":"2010","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref59","year":"0"},{"key":"ref58","year":"0"},{"key":"ref57","year":"0"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref55","year":"0"},{"key":"ref54","year":"0"},{"key":"ref53","year":"0"},{"key":"ref52","year":"0"},{"key":"ref10","year":"0"},{"key":"ref11","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems With Petri Nets and Other Tools"},{"key":"ref40","first-page":"65","article-title":"Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems","author":"tricas","year":"2005","journal-title":"XIII Jornadas de Concurrencia y Sistemas Distribuidos"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2037825"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"ref14","year":"0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/70.988975"},{"key":"ref16","first-page":"358","article-title":"Liveness in bounded Petri nets which are covered by T-invariants","author":"lautenbach","year":"1994","journal-title":"Application and Theory of Petri Nets vol \ufffd815"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref19","year":"0"},{"key":"ref4","year":"0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref8","first-page":"974","article-title":"Generalized mutual exclusion constraints on nets with uncontrollable transitions","author":"giua","year":"1992","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1109\/TSMCC.2008.2001688","article-title":"Short-term schedulability analysis of crude oil operations in refinery with oil residency time constraint using Petri net","volume":"38","author":"wu","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref9","first-page":"267","article-title":"Petri net supervisor for generalized mutual exclusion constraints","author":"giua","year":"1993","journal-title":"Proc 12th IFAC World Congr"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1080\/00207540110073037"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897339"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions","volume":"19","author":"uzam","year":"2002","journal-title":"Int J Adv Manuf Technol"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/5326.760564","article-title":"Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model","volume":"29","author":"wu","year":"1999","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5326\/6330018\/06185690.pdf?arnumber=6185690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:54:05Z","timestamp":1633910045000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6185690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":64,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmcc.2012.2189385","relation":{},"ISSN":["1094-6977","1558-2442"],"issn-type":[{"value":"1094-6977","type":"print"},{"value":"1558-2442","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}