Comments on “Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis”

The above paper [1] proposes a method to reduce simultaneously a Petri net model and the linear constraints. The reduced result preserves the control specification and the liveness. This note shows via some simple counterexamples that some results claimed in the above paper are incorrect, and then presents the corresponding corrections for two of the results.