Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions