exercices_rdpo

exercices_rdpo - Exercice 1 Les trains : Soit un rail...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Master d’Informatique de l ’Université Paris VI. Spécialité SAR. - Modélisation des Systèmes Répartis - 1 - E. Encrenaz-Tiphène / C. Dutheillet Exercice 1 Les trains : Soit un rail circulaire de 6 sections sur lequel circulent deux trains dans le même sens et qui suivent les règles suivantes : (i) Initialement le premier train est sur la première section et le deuxième sur la troisième section. (ii) Un train ne pénètre dans une nouvelle section qui si ni cette section ni la suivante ne sont occupées par l'autre train. • Modéliser ce système à l'aide d'un réseau de Petri ordinaire. • Construire le graphe d'état et vérifier que la règle (ii) est bien respectée Master d’Informatique de l ’Université Paris VI. Spécialité SAR. - Modélisation des Systèmes Répartis - 2 - E. Encrenaz-Tiphène / C. Dutheillet Exercice 2 Ce réseau est-il – Borné ? – Quasi-vivant ? – Pseudo-vivant ?
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/10/2010 for the course GLT 12 taught by Professor Jimmymaster during the Spring '10 term at Paris Tech.

Page1 / 2

exercices_rdpo - Exercice 1 Les trains : Soit un rail...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online