Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore