Marian V. Iordache, John O. Moody, Panos J. Antsaklis. A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets. In American Control Conference, ACC 2000, Chicago, Illinois, USA, 28-30 June, 2000. pages 3167-3171, IEEE, 2000. [doi]
Abstract is missing.