Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis | IEEE Journals & Magazine | IEEE Xplore