Control Law Synthesis for a Discrete Event System