On the “Counter-Example” in the Article “Max $^{\prime}$-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”

Spyros Reveliotis

doi:10.1109/tac.2015.2426274

On the “Counter-Example” in the Article “Max $^{\prime}$-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”

Spyros Reveliotis

https://doi.org/10.1109/tac.2015.2426274

Copy DOI

Export

Save

Cite

Journal: IEEE Transactions on Automatic Control

Publication Date: Jan 1, 2016

Affiliation: Georgia Institute of Technology

#Sequential Resource Allocation Systems #Multiple Resource Acquisitions #Deadlock Avoidance #Flexible Routings #Multiple Routings #Sequential Resource Allocation #Marked Siphon #Sequential Resource #Resource Allocation Systems #Resource Acquisitions

Abstract
Full-Text
Similar Papers

Abstract

Listen

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.

Full Text

Published Version

Check institute access

Open DOI Link

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title

Journal

Date

Author

View more papers

More From: IEEE Transactions on Automatic Control

Paper Title

Journal

Date

Author

View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.

R Discovery Prime

On the “Counter-Example” in the Article “Max $^{\prime}$-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”