Deadlock analysis in automated manufacturing systems with conjunctive resource service | IEEE Conference Publication | IEEE Xplore