Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms. - Wang, Yin; Wu, Zhiming (2003)