Deadlock Analysis in Automated Manufacturing Systems with Conjunctive Resource Service