Descriptif

Les Systèmes à Evénements Discrets (SED) sont des systèmes dynamiques dont l'évolution est provoquée par l’occurrence d’événements (par exemple, des fronts montants électronique, ou dépassement d’un seuil d’une mesure). Des théories et des modèles spécifiques à cette classe de systèmes dynamiques sont nécessaires pour les modéliser, les analyser, étudier leurs performances et/ou les commander. Cet enseignement donne une introduction aux notions fondamentales des SED. Les principaux modèles étudier seront : Les automates finis et les réseaux de Petri (ordinaires, colorés, temporisés, etc.).