Yufeng Chen, Zhiwu Li, Kamel Barkaoui, Murat Uzam. New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 44(10):1384-1400, 2014. [doi]
Abstract is missing.