Marian V. Iordache, John O. Moody, Panos J. Antsaklis. A method for the synthesis of liveness enforcing supervisors in Petri nets. In American Control Conference, ACC 2001, Arlington, VA, USA, 25-27 June, 2001. pages 4943-4948, IEEE, 2001. [doi]
Abstract is missing.