An optimal deadlock avoidance policy for manufacturing systems with flexible operation sequence and flexible routing | IEEE Conference Publication | IEEE Xplore