ÉVALUATION DE LA PERFORMANCE

1) Introduction à la théorie des graphes
2) Modélisation par réseaux de Petri des systèmes à événements discrets
3) Evaluation de performance d'une classe courante de réseaux de Petri temporisés
4) Modélisation par chaînes de Markov
5) Evaluation de performance d'une chaine de Markov
6) introduction aux files d'attente et à leurs performances
TD : modélisation de systèmes à événements (atelier de fabrication, systèmes de communication, gestion de ressources), analyse formelle des propriétés et évaluation de leurs performances
TP : logiciels de simulation SED (Arena) et réseaux de Petri