Modeling, analysis, and control of discrete event systems; untimed (logical) and timed models considered. Defi ning characteristics of discrete event systems. Logical models: languages, automata, and Petri nets. Analysis: safety, blocking, state estimation and diagnostics. Supervisory control: controllability, nonblocking and nonconfl icting languages, observability and co-observability. Timed models: timed automata and timed Petri nets. Analysis using diod algebras. Control of Petri nets. Introduction to stochastic models.