The Supervisory control theory (SCT) is a general framework for the synthesis of supervisors (controllers) for discrete events systems (DES). The SCT makes use of automata theory and formal languages. Given a plant automaton ...