{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T02:17:18Z","timestamp":1771035438596,"version":"3.50.1"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"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,3]]},"DOI":"10.1109\/tsmca.2011.2164241","type":"journal-article","created":{"date-parts":[[2011,10,3]],"date-time":"2011-10-03T19:25:28Z","timestamp":1317669928000},"page":"404-415","source":"Crossref","is-referenced-by-count":71,"title":["Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems"],"prefix":"10.1109","volume":"42","author":[{"given":"Yi-Sheng","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yen-Liang","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"303","article-title":"Linear algebraic and linear programming techniques for the analysis of P\/T net systems","volume":"1491","author":"silva","year":"1998","journal-title":"LNCS"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref33","author":"badouel","year":"1996","journal-title":"On the synthesis of general Petri nets"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00264612","article-title":"Partial (set) 2-structures, part II: State space of concurrent systems","volume":"27","author":"ehrenfeucht","year":"1990","journal-title":"Acta Inform"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","article-title":"Partial (set) 2-structures, part I: Basic notions and the representation problem","volume":"27","author":"ehrenfeucht","year":"1990","journal-title":"Acta Inform"},{"key":"ref30","author":"cortadella","year":"1996","journal-title":"Deriving Petri nets from finite transition systems"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref10","first-page":"215","article-title":"Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems","volume":"23","author":"huang","year":"2007","journal-title":"J Inf Sci Eng"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref12","author":"lautenbach","year":"1996","journal-title":"The linear algebra of deadlock avoidanceA Petri net approach"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.945768"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/70.843175"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref17","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":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/70.388784"},{"key":"ref19","first-page":"85","article-title":"A new Petri-net-based synthesis technique for supervisory control of discrete event systems","volume":"10","author":"uzam","year":"2002","journal-title":"Turk J Elect Eng"},{"key":"ref28","author":"badouel","year":"1998","journal-title":"Third Advance Course on Petri Nets"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496690"},{"key":"ref27","first-page":"364","article-title":"Polynomial algorithms for the synthesis of bounded nets","volume":"915","author":"badouel","year":"1995","journal-title":"Proc 6th Int Joint Conf CAAP\/FASE Theory Practice Softw Dev"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/21.229464"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/3477.558787"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0708-y"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806651"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref21","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":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-003-1715-x"},{"key":"ref44","year":"2003","journal-title":"A Software Tool for Analysis of Petri Nets"},{"key":"ref26","first-page":"322","article-title":"Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions","author":"reveliotis","year":"2006","journal-title":"Proc ATPN"},{"key":"ref43","first-page":"5079","article-title":"A deadlock prevention approach for FMS using siphon and the theory of regions","author":"li","year":"2004","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-003-1715-x"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/6151939\/06029338.pdf?arnumber=6029338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:48:10Z","timestamp":1633909690000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6029338\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":46,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2011.2164241","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3]]}}}