Marian V. Iordache, Po Wu, Feng Zhu, Panos J. Antsaklis. Efficient design of Petri-net supervisors with disjunctive specifications. In 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013. pages 936-941, IEEE, 2013. [doi]
Abstract is missing.