Deadlock control policy for a class of automated manufacturing systems with key resources | IEEE Conference Publication | IEEE Xplore