Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources