도서명 :
On the &x201C;Counte r-Example&x201D; in the Article &x201C;Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$&x201D; Regarding the Results in &x201C;Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings&x201D;