Modélisation de Systèmes Répartis
msr

Cette UE présente les bases de la modélisation des systèmes répartis. Voici les documents de support de cours :

Les supports :

Le mémento sur les automates

L’aide-mémoire sur les réseaux de Petri

Les deux modèles réseaux de Petri de l’algorithme de Peterson : pour 2 processus et pour N processus.

Les annales :

L’examen 2012-2013

examen 2012/2013

Bonjour,

Voici le pdf du sujet de l’examen de MSR donné en 2012/2013.

Bonjour,

Vous trouverez en pièce jointe une archive contenant tout ce qu’il faut pour votre TME sur les réseaux de Petri (vendredi 25 Octobre).

elements pour le TME

Bonjour,

Vous trouverez dans l’archive jointe les données pour le projet de modélisation en MSR (sujet et éléments de base pour le rapport).

éléments pour le projet

Documents utiles

Tableau des travaux dirigés et travaux sur machine
Groupes			Intervenant	Salle	Jour	Horaire
Téléchargement du calendrier pour étudiant du groupe 1 Abonnement au calendrier pour étudiant du groupe 1	Téléchargement du calendrier pour enseignant du groupe 1 Abonnement au calendrier pour enseignant du groupe 1	1	Dutheillet Claude
		1	Dutheillet Claude	modifier l'emploi du temps du TM 1 TM: 31 201-203-205	vendredi	11h00-13h00