New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs | IEEE Journals & Magazine | IEEE Xplore