Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore