Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore