Vous trouverez ci-dessous les chapitres et d'autres documents relatifs au cours sur les systèmes à événements discrets.

Chapitres du cours 2016 - 2017

• Chapitre 1. Systèmes dynamiques à événements discrets
• Chapitre 2. Modèles non-temporisés de systèmes à événements discrets
• Chapitre 3. Modèles temporisés de systèmes à événements discrets
• Chapitre 4. Automates temporisés stochastiques

Algorithme de Peterson (Chapitre 2)

• Construction du modèle
• Calcul des P-invariants
• Exclusion mutuelle
• Calcul et utilisation des T-invariants

Enoncés de TD 2016 - 2017

• TD 1. Répartition de processus parallèles dans un système biprocesseur
• TD 2. Automates
• TD 3. Automates et réseaux de Petri
• TD 4. Analyse qualitative de réseaux de Petri
• TD 5. Automates temporisés
• TD 6. Réseaux de Petri temporisés
• TD 7. Automates temporisés stochastiques

DM 2016 - 2017

• DM de 2016-2017

Examen 2015 - 2016

• Partiel de 2015-2016 commenté
• Pour les curieux : le plan 12:05-12:08 illustre les échanges de bandes du problème 3