Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets | IEEE Conference Publication | IEEE Xplore