{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:31:51Z","timestamp":1784212311759,"version":"3.55.0"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T00:00:00Z","timestamp":1367366400000},"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. Automat. Contr."],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/tac.2012.2230814","type":"journal-article","created":{"date-parts":[[2012,11,30]],"date-time":"2012-11-30T19:02:02Z","timestamp":1354302122000},"page":"1123-1138","source":"Crossref","is-referenced-by-count":23,"title":["Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software"],"prefix":"10.1109","volume":"58","author":[{"given":"Hongwei","family":"Liao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Scott","family":"Mahlke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399950"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1145\/1480881.1480913","article-title":"The theory of deadlock avoidance via discrete control","author":"wang","year":"2009","journal-title":"Proc of the 15th ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages"},{"key":"ref30","first-page":"259","article-title":"Supervisory control of software execution for failure avoidance: Experience from the Gadara project","author":"wang","year":"2010","journal-title":"Proc Int Workshop Discrete Event Syst"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.391"},{"key":"ref12","author":"li","year":"2010","journal-title":"Deadlock control of automated manufacturing systems based on Petri netsA literature review"},{"key":"ref13","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref14","author":"li","year":"2009","journal-title":"Modeling Analysis and Deadlock Control of Automated Manufacturing Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref16","author":"liao","year":"2012","journal-title":"Modeling Analysis and Control of a Class of Resource Allocation Systems Arising in Concurrent Software"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5716934"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160535"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0139-x"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/70.544768"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref6","author":"giua","year":"1992","journal-title":"Petri nets as discrete event models for supervisory control"},{"key":"ref29","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 Manufact Technol"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref8","author":"iordache","year":"2006","journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref2","first-page":"18","article-title":"An algorithm to compute the minimal siphons in <ref_formula><tex Notation=\"TeX\">$S^{4}PR$<\/tex><\/ref_formula> nets","author":"cano","year":"2010","journal-title":"Proc Int Workshop Discrete Event Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530904"},{"key":"ref1","first-page":"57","article-title":"On liveness and controlled siphons in Petri nets","author":"barkaoui","year":"1996","journal-title":"Proc 17th Int Conf Appl Theory Petri Nets"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2226034"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"ref26","author":"reveliotis","year":"2005","journal-title":"Real-Time Management of Resource Allocation Systems A Discrete-Event Systems Approach"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6504746\/06365756.pdf?arnumber=6365756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T08:00:36Z","timestamp":1687852836000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6365756\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":33,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tac.2012.2230814","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5]]}}}