A new distributed deadlock avoidance strategy for flexible manufacturing systems using digraph models | IEEE Conference Publication | IEEE Xplore