{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T12:12:25Z","timestamp":1777637545103,"version":"3.51.4"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2014,10,1]],"date-time":"2014-10-01T00:00:00Z","timestamp":1412121600000},"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":["61203038"],"award-info":[{"award-number":["61203038"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61374068"],"award-info":[{"award-number":["61374068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["JB140402"],"award-info":[{"award-number":["JB140402"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund, MSAR","doi-asserted-by":"crossref","award":["066\/2012\/A2"],"award-info":[{"award-number":["066\/2012\/A2"]}],"id":[{"id":"10.13039\/501100003009","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Research Grant of the Scientific and Technological Research Council of Turkey","award":["T\u00dcB\u0130TAK-112M229"],"award-info":[{"award-number":["T\u00dcB\u0130TAK-112M229"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/tsmc.2014.2307284","type":"journal-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T14:04:23Z","timestamp":1395324263000},"page":"1384-1400","source":"Crossref","is-referenced-by-count":117,"title":["New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs"],"prefix":"10.1109","volume":"44","author":[{"given":"YuFeng","family":"Chen","sequence":"first","affiliation":[]},{"given":"ZhiWu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]},{"given":"Murat","family":"Uzam","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"wu","year":"2010","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538247"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170419"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"ref34","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":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2037825"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2164241"},{"key":"ref15","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":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","article-title":"On controllability of dependent siphons for deadlock prevention in generalized Petri nets","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2192266"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2169956"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1201\/b14588"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2202108"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2008.03.013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048898"},{"key":"ref23","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/70.86081"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2192923"},{"key":"ref25","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"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6898050\/06776555.pdf?arnumber=6776555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:51:20Z","timestamp":1641988280000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6776555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":44,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2014.2307284","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10]]}}}