Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets | IEEE Journals & Magazine | IEEE Xplore