Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions | IEEE Conference Publication | IEEE Xplore