Ingenierie des Protocoles
Responsable: Olivier Dalle (prenom point nom at unice point fr)
Transparents du Cours
- Chapitre 1: Protocoles (PPT) - Auteurs: F. Boniol et M. Boyer, ENSEEIHT, Toulouse.
- Chapitre 2: Machines a etats finis (PPT) - Auteur: L. Logrippo, Université du Québec en Outaouais, Canada.
- Chapitre 3: Reseaux de Petri (PPT) - Auteurs: F. Boniol et M. Boyer, ENSEEIHT, Toulouse.
- Chapitre 4: Acquittements (PPT) - Auteur: L. Logrippo, Université du Québec en Outaouais, Canada.
- Chapitre 5: LOTOS (PPT) - Auteurs: F. Boniol et M. Boyer, ENSEEIHT, Toulouse.
- Chapitre 6: Propriétés des Réseaux de Petri (PDF) - Auteurs: Pascal Racloz & Didier Buchs, Université de Genève.
Exercices
- Seance 1: Voir cours, chapitre 2 (produits synchrones et asynchrones)
- Seance 2: Seance de TD sur reseaux de Petri
- Seance 3: Suite et fin de la seance sur Reseaux de Petri.
- Corrige du TD
- A rendre pour la prochaine fois: expliquez le corrigé de la solution producteur/consommateur avec K=1. Numérotez les arcs du RdP et servez-vous de cette numérotation pour justifier chacune des pre/post condition de la solution. Par ex.: la pre-condition X indique qu'il faut que le canal soit libre avant de commencer a emettre.
- Corrige du TD RdP
- Seance 4: Seance d'exercices sur BASIC LOTOS
- Séance 5: fin de la feuille d'exercices sur LOTOS.
- Seance 6: Seance d'exercices avec CPNTools (sur machine, PV310, puis PV304)
--
OlivierDalle - 15 Oct 2008