Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets

The considered class of generalized mutual exclusion constraints (GMECs) on a controlled Petri net are such that the influence-uncontrollable subnets are forward-concurrent-free nets. Some structur...