{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:53Z","timestamp":1761488873635,"version":"3.44.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160535","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T16:18:31Z","timestamp":1331137111000},"page":"1142-1148","source":"Crossref","is-referenced-by-count":6,"title":["Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets"],"prefix":"10.1109","author":[{"given":"Hongwei","family":"Liao","sequence":"first","affiliation":[{"name":"Department of EECS, The University of Michigan, Ann Arbor, 48109, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Stanley","sequence":"additional","affiliation":[{"name":"Department of EECS, The University of Michigan, Ann Arbor, 48109, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yin","family":"Wang","sequence":"additional","affiliation":[{"name":"HP Labs, Palo Alto, CA 94303, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[{"name":"Department of EECS, The University of Michigan, Ann Arbor, 48109, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[{"name":"School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, 30332, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Mahlke","sequence":"additional","affiliation":[{"name":"Department of EECS, The University of Michigan, Ann Arbor, 48109, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Software Failure Avoidance Using Discrete Control Theory","year":"2009","author":"wang","key":"23"},{"key":"18","article-title":"Optimal deadlock avoidance for complex resource allocation systems through classification theory","author":"nazeem","year":"2010","journal-title":"Proc 6th Int Workshop Discrete Event Systems"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399950"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5716934"},{"journal-title":"Concurrency Bugs in Multithreaded Software Modeling and Analysis Using Petri Nets","year":"2011","author":"liao","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Systems Man and Cybernetics C"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.391"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete-Event Systems Approach","year":"2005","author":"reveliotis","key":"21"},{"key":"3","first-page":"18","article-title":"An algorithm to compute the minimal siphons in S4PR nets","author":"cano","year":"2010","journal-title":"Proc 6th Int Workshop Discrete Event Systems"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/81.285680"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2009.5394896"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5159987"},{"journal-title":"Gurobi Optimizer","year":"2010","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.12"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach","year":"2006","author":"iordache","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["2011 50th IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160535.pdf?arnumber=6160535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T17:51:22Z","timestamp":1756921882000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6160535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160535","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}