Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms