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… Click to show full abstract
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.
               
Click one of the above tabs to view related content.