Deadlock Control Policy for A Class of Automated Manufacturing Systems with Key Resources