Robust Deadlock Prevention for Automated Manufacturing Systems With Unreliable Resources by Using General Petri Nets | IEEE Journals & Magazine | IEEE Xplore