A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations | IEEE Journals & Magazine | IEEE Xplore