Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources | IEEE Journals & Magazine | IEEE Xplore