The following publications are possibly variants of this publication:
- A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systemsAhmed Nazeem, Spiridon Reveliotis. case 2010: 451-458 [doi]
- A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation SystemsZhennan Fei, Spyros A. Reveliotis, Knut Åkesson. wodes 2014: 362-369 [doi]
- A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation SystemsZhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson. tase, 12(3):990-1006, 2015. [doi]
- Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation SystemsSpyros A. Reveliotis. tsmc, 37(3):319-328, 2007. [doi]
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear CaseAhmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune. tac, 56(8):1818-1833, 2011. [doi]
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. wodes 2012: 286-293 [doi]
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. deds, 25(1-2):31-63, 2015. [doi]
- Liveness enforcing supervision for resource allocation systems with process synchronizationsSong Foh Chew, Mark A. Lawley, Spyros A. Reveliotis. cdc 2003: 3735-3741 [doi]
- Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable EventsJonghun Park, Spyros A. Reveliotis. icra 2002: 187-192
- Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden statesJonghun Park, Spyros A. Reveliotis. trob, 18(2):234-240, 2002. [doi]
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear CaseAhmed Nazeem, Spiridon Reveliotis. tac, 57(7):1670-1684, 2012. [doi]
- Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theoryAhmed Nazeem. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2012. [doi]