Li, Zhiwu and Zhou, Mengchu Deadlock Resolation in Automated Manufacturing system Li, Zhiwu and Zhou, Mengchu - Springer 2009