Skip to topic | Skip to bottom
Home
Minfo
Minfo.IngenierieProtocolesr1.9 - 06 Nov 2008 - 09:22 - OlivierDalletopic end

Start of topic | Skip to actions

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.
  • 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
to top

I Attachment sort Action Size Date Who Comment
IP_N72TR_3_protocoles.ppt manage 377.0 K 02 Oct 2008 - 12:35 OlivierDalle Chapitre 1 (seance 1)
chap02.ppt manage 373.0 K 15 Oct 2008 - 11:27 OlivierDalle Chapitre 2 (seances 1 & 2)
IP_N72TR_4_petri.ppt manage 749.5 K 02 Oct 2008 - 17:07 OlivierDalle Chapitre 3 (seance 2)
IP_N7TR_TD1.doc manage 38.5 K 09 Oct 2008 - 13:49 OlivierDalle Exercices (Seance 2 & 3)
chap04.ppt manage 263.0 K 15 Oct 2008 - 11:28 OlivierDalle Chapitre 4 (Seance 3)
IP_N7TR_TD1_correction_short.pdf manage 755.2 K 16 Oct 2008 - 15:32 OlivierDalle  
IP_N72TR_5_lotos.ppt manage 263.5 K 23 Oct 2008 - 12:44 OlivierDalle Chapitre 5
IP_N7TR_TD2.pdf manage 96.1 K 23 Oct 2008 - 12:47 OlivierDalle Exercices (Seance 4)

You are here: Minfo > IngenierieProtocoles

to top

Copyright © 1999-2017 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding WIKIDeptinfo? Send feedback