Deadlock state and its avoidance method in flexible manufacturing system with tool shared resource | IEEE Conference Publication | IEEE Xplore