Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson: A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. WODES 2014: 362-369