On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets | IEEE Journals & Magazine | IEEE Xplore