Synthesis and Control of Discrete Event Systems by