The following publications are possibly variants of this publication:
- Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded softwareYin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune. cdc 2009: 4971-4976 [doi]
- Deadlock control of multithreaded software based on Petri nets: A brief reviewM. D. Gan, Z. J. Ding, S. G. Wang, W.-H. Wu, M.-C. Zhou. icnsc 2016: 1-5 [doi]
- Gadara: Dynamic Deadlock Avoidance for Multithreaded ProgramsYin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke. osdi 2008: 281-294 [doi]
- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri NetsStéphane Lafortune, Yin Wang, Spyros A. Reveliotis. apn 2013: 21-28 [doi]
- Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri netsHongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke. cdc 2010: 2797-2804 [doi]