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 : <<<>>>  14 - 20 octobre 2013  sans heurejour entiermatinaprès-midi zoom-zoom+calendrier par jourcalendrier par semainecalendrier par mois
lundi 14/10 mardi 15/10 mercredi 16/10 jeudi 17/10 vendredi 18/10 samedi 19/10 dimanche 20/10
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59
Cours 5 31 201-203-205
TM G1 5 31 201-203-205
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59
0:00 7:00 8:00 9:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 23:59