Modular Methods in the Supervisory Control of Discrete Event Systems