Ingénierie des Protocoles / Protocol Engineering

Calendrier 2011–2012

• Seance 1: 22 sept, 08:00 – 12:00, salle M.2.6
• Seance 2: 29 sept, 08:00 – 12:00, salle M.2.6
• Seance 3: 6 oct., 08:00 – 12:00, salle M.2.6 1er controle
• Seance 4: 13 oct., 08:00 – 12:00, salle M.2.6
• Seance 5: 20 oct., 08:00 – 12:00, salle M.2.6 Attn: 2e controle
• Seance 6: 25 oct., 16:15 - 18:15, salle PV315 (TP1)
• Seance 7: 8 nov., 16:15 - 18:15, salle PV315 (TP2) Attn: TP noté

Transparents des 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.

Travaux dirigés

• Seance 1: Voir cours, chapitre 2 (produits synchrones et asynchrones)
• Seance 2 et 3: Exercices sur RdP (PDF)
• Seances 4 & 5: Seance d’exercices sur BASIC LOTOS
• Seance 6&7 (sur machine): SeanceCPNTools .