IEEE Transactions on Automatic Control, Vol.61, No.1, 194-197, 2016
On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S(3)PGR(2)" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings"
The main purpose of this correspondence is to establish that, contrary to the claims that are made in the paper by D. Y. Chao in it, the results of the paper by Park and S. A. Reveliotis concerning the liveness characterization of the S(3)PGR(2) nets by means of the structural object of deadly marked siphon, are correct and complete.