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.
  • Corrige du TD LOTOS
• Seance 6: Seance d'exercices avec CPNTools (sur machine, PV310, puis PV304)

-- OlivierDalle - 15 Oct 2008