Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions | IEEE Journals & Magazine | IEEE Xplore