Présentation des modèles de base (automates, machines à états à entrées et sorties binaires, réseaux de Petri, Grafcet,UML Etats-Transitions) utilisés pour représenter les comportements logiques et temporels de systèmes à événements discrets. Techniques de modélisation, de simulation, et d'analyse des principales propriétés.