Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets | IEEE Journals & Magazine | IEEE Xplore