On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets | IEEE Journals & Magazine | IEEE Xplore