Comments on “Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis”
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2016.2600402
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… read more here.
Keywords: petri nets; simultaneous reduction; comments simultaneous; linear constraints ... See more keywords