Optimal Polynomial Complexity Deadlock Avoidance Policies for Manufacturing Systems with Flexible Routings | IEEE Conference Publication | IEEE Xplore