Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach - Li, ZhiWu; Zhou, MengChu (Springer London, 2009)