Introduce the basic techniques involved in the modeling, analysis and control of discrete event systems.

Recognize a system which is suitable for modeling in a discrete-event set-up.
Choose the appropriate class of systems and build a discrete-event model.
Analyze the structural properties of the model.
Design algorithms for the qualitative and quantitative analysis of Discrete Event Systems.
Design a supervisory controller.
Design an observer automaton.
Perform input diagnosis.
Simulate a discrete event system.
Assess the performance of the system in a deterministic and stochastic set-up.

Finite state Automata: deterministic and non-deterministic.
Timed Automata: stochastic and deterministic.
Markov Chains.
Petri-Nets.
Supervisory Control.