Title: Deadlock Resolution in Automated Manufacturing Systems