Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case | IEEE Conference Publication | IEEE Xplore