Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR | IEEE Journals & Magazine | IEEE Xplore