An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore