Savoir modéliser un système à événements discrets

Contenu pédagogique de l’UE :

- Introduction aux systèmes à événements discrets

- Théorie des langages et des automates à états finis

- Réseaux de Petri

- Mise en application des langages de modélisation sur des cas d’études

Pré-requis :

Des bases de logique (algèbre de Boole, systèmes combinatoires, …)