Modélisation des GET dans l’algèbre des dioïdes
Comportement dynamique des systèmes à événements discrets dans l’algèbre des dioïdes

INTRODUCTION

1 - RÉSEAUX DE PETRI

• 1.1 - Définition formelle des RdP
• 1.2 - Ensemble des marquages accessibles
• 1.3 - Invariants d’un réseau de Petri
• 1.4 - Propriétés des RdP
• 1.5 - Graphes d’événements temporisés (GET)

  • Quiz d'entraînement

2 - MODÉLISATION DES GET DANS L’ALGÈBRE DES DIOÏDES

• 2.1 - Représentation d’état des Graphes d’événements temporisés
  
• 2.2 - Cas des Graphes d’événements temporisés généralisés (GETG)

  • Quiz d'entraînement

3 - ÉVALUATION DE PERFORMANCES

• 3.1 - Indicateurs de performances
• 3.2 - Recherche des équations linéaires

4 - ALLOCATION DE RESSOURCES

• 4.1 - Principe
• 4.2 - Application à un atelier flexible

  • Quiz d'entraînement
  

5 - CONCLUSION

TEST DE VALIDATION