State feedback control of discrete event systems using marked graphs

Addresses the state feedback control of marked graphs with uncontrollable transitions and forbidden states. Control requirements are expressed as the conjunction of general mutual exclusion constraints (GMEC) of markings of so-called critical places. Structural properties such as influence paths and influence zones are defined to perform the worst-case analysis for each GMEC specification with any given initial marking when only uncontrollable transitions are allowed. A simple analytical solution of the maximal uncontrollably reachable marking of any critical place is proposed. It is then extended to paths of critical places. We further distinguish the case where critical places are independent. We prove that the worst-case marking of a GMEC specification of independent critical places corresponds to the worst-case marking of each critical place