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
01/0935
02/0936 03/0936 04/0936 05/0936 06/0936 07/0936 08/0936
09/0937 10/0937 11/0937 12/0937 13/0937 14/0937 15/0937
16/0938 17/0938 18/0938 19/0938 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