Analysis and Supervisory Control of Discrete Event Dynamic Systems