A Correction and Some Comments on the Article “Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets”

The main purpose of this correspondence is to point out the fallacy of Theorem 1 in the paper that is mentioned in the title, a result that attempts to provide a structural characterization for the liveness of the Petri net class considered in the manuscript. The closing part of the correspondence also takes this opportunity to make some further remarks on the results that are claimed in the paper.