Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms | IEEE Conference Publication | IEEE Xplore