Deadlock Resolution in Automated Manufacturing Systems