Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"

This note first identifies a problem with the correctness of the RUN DAP for conjunctive RAS, presented in the above paper by Reveliotis et al. (1997), and subsequently proceeds to the problem correction through an appropriate policy modification.