Modélisation Formelle de Systèmes Répartis
msr

Cette UE présente les bases de la modélisation des systèmes. Les outils introduits sont les automates et les réseaux de Petri.


Documents liés au cours sur les réseaux de Petri ordinaires :

Les transparents du premier cours et ceux sur le graphe de couverture

L’énoncé des exercices 1 et 2 et des exercices 3 et 4

Documents liés au cours sur les réseaux de Petri colorés :

Les transparents du premier cours et ceux qui introduisent les symétries

Le modèle de l’algorithme de Peterson pour 2 processus et pour N processus

Et pour les révisions, le sujet de l’examen 2007-2008

 
Documents utiles