Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system

This paper addresses the forbidden-state problem of general marked graphs with uncontrollable transitions. The models need not to be safe nor cyclic. Control requirements are expressed as the conjunction of general mutual exclusion constraints (GMEC) of markings of so-called critical places. Structu... View More