Unité d'enseignement ENSINAU10 :
« Modèles à évènements discrets »

Description

Crédits : 3
Semestre :  S1
Cours/TD : 20h/10h

Résumé :

Posséder les notions de base en modélisation et analyse de systèmes dynamiques à événements discrets et particulièrement appréhender le formalisme réseau de

Pétri. Étudier la conception et la spécification des systèmes réactifs à travers l'analyse du modèle à évènements discrets (concurrence, parallélisme, synchronisation).

Apparaît dans les parcours