Deadlock Avoidance Petri Net Controller for Manufacturing Systems with Multiple Resource Service | IEEE Conference Publication | IEEE Xplore