On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification