Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore