Modélisation de Systèmes Répartis
msr

Documents liés au cours sur spin et les automates :

cours automates

cours promela/spin

TP spin

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

les transparents du cours

l’énoncé des exercices

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

les transparents du cours

Les modèles de l’algorithme de Peterson pour 2 processus et pour n processus

 
Documents utiles
automates repro
promela spin2
tp spin