Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke. Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 2797-2804, IEEE, 2010. [doi]
Abstract is missing.