Modélisation de Systèmes Répartis
msr

Cette UE présente les bases de la modélisation au travers de deux formalismes : les automates et les réseaux de Petri.

Vous trouverez sur cette page quelques documents en supplément de ceux qui vous sont distribués.

Les polys :

Un document de synthèse pour le cours sur les automates ;

Le cours sur les réseaux de Petri et le cours sur les réseaux de Petri colorés. Le poly du troisième cours sur de réseaux de Petri ;

Les modèles en réseaux colorés de l’algorithme de Peterson à 2 processus et de l’algorithme de Peterson à N processus

Le graphe de couverture de l’exemple présenté en cours

Annales :

L’examen 2008

 
Documents utiles