Closed-loop live Petri net supervisors for generalized mutual exclusion constraints