Efficient nonconflict check by using automaton abstractions | IEEE Conference Publication | IEEE Xplore