APolynomial Deadlock Avoidance Method for a Class of Flexible ManufacturingSystems