On the “Counter-Example” in the Article “Max --Controlled Siphons for Liveness of -” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings” | IEEE Journals & Magazine | IEEE Xplore