{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T02:14:14Z","timestamp":1771035254743,"version":"3.50.1"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/tsmca.2012.2192266","type":"journal-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T17:17:59Z","timestamp":1347470279000},"page":"85-97","source":"Crossref","is-referenced-by-count":43,"title":["Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems"],"prefix":"10.1109","volume":"43","author":[{"given":"Ding","family":"Liu","sequence":"first","affiliation":[]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04773-6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref32","author":"park","year":"2000","journal-title":"Structural analysis and control of resource allocation systems using Petri nets"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2003.1205001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2008.07.037"},{"key":"ref37","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":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref35","author":"tricas","year":"2003","journal-title":"Deadlock analysis prevention and avoidance in sequential resource allocation systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.01.012"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.disopt.2010.03.006"},{"key":"ref2","first-page":"90","article-title":"On the equivalence between liveness and deadlock-freeness in Petri nets","volume":"3536","author":"barkaoui","year":"2005","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","article-title":"Theory of regions","volume":"1491","author":"badouel","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500464942"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"ref12","author":"girault","year":"2003","journal-title":"Petri Nets for Systems EngineeringA Guide to Modeling Verification and Applications"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2011.561443"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/00207170903502815"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058101"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1083","DOI":"10.1016\/S0005-1098(98)00048-X","article-title":"Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems","volume":"34","author":"lewis","year":"1998","journal-title":"Automatica"},{"key":"ref18","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSMCC.2008.2007246","article-title":"A divide–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":"ref4","first-page":"57","article-title":"On liveness and controlled siphons in Petri nets","author":"barkaoui","year":"1996","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/70.388784"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref9","first-page":"64","article-title":"A class of well structured Petri nets for flexible manufacturing systems","volume":"1420","author":"ezpeleta","year":"1998","journal-title":"Proc Appl Theory Petri Nets"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2009.2032678"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"ref47","article-title":"Deadlock control of automated manufacturing systems based on Petri nets—A literature review","author":"li","year":"2012","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref42","first-page":"1874","article-title":"Parameterized supervisor synthesis for a modular class of discrete event systems","author":"zouari","year":"2003","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref41","first-page":"214","article-title":"A structure causality relation for liveness characterisation in Petri nets","volume":"12","author":"zouari","year":"2006","journal-title":"J Univ Comput Sci"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2037825"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6221021\/6356011\/06301766.pdf?arnumber=6301766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T16:24:36Z","timestamp":1562171076000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6301766\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":51,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2012.2192266","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}