Synthesis and Control of Discrete Event Systems door