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.


sujet de TME (réseaux de Petri)

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

données pour le projet modélisation

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

Localisation


Tableau des travaux dirigés et travaux sur machine
Groupes Intervenant Salle Jour Horaire
1 Dutheillet Claude   
modifier l'emploi du temps du TM 1  TM: 31 201-203-205vendredi11h00-13h00

Calendrier

aujourd'hui :   septembre 2013 - octobre 2013  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche
20/0938
08:30-10:30
Cours 1 31 201-203-205
11:00-13:00
TM G1 1 31 201-203-205
21/0938 22/0938
23/0939 24/0939 25/0939 26/0939 27/0939
08:30-10:30
Cours 2 31 201-203-205
11:00-13:00
TM G1 2 31 201-203-205
28/0939 29/0939
30/0940 01/1040 02/1040 03/1040 04/1040
08:30-10:30
Cours 3 31 201-203-205
11:00-13:00
TM G1 3 31 201-203-205
05/1040 06/1040
07/1041 08/1041 09/1041 10/1041 11/1041
08:30-10:30
Cours 4 31 201-203-205
11:00-13:00
TM G1 4 31 201-203-205
12/1041 13/1041
14/1042 15/1042 16/1042 17/1042 18/1042
08:30-10:30
Cours 5 31 201-203-205
11:00-13:00
TM G1 5 31 201-203-205
19/1042 20/1042
21/1043 22/1043 23/1043 24/1043 25/1043
08:30-10:30
Cours 6 31 201-203-205
11:00-13:00
TM G1 6 31 201-203-205