Les réseaux de Petri est un outil graphique très puissant, ils ont été développés pour permettre la modélisation de classes importantes de systèmes de production, de systèmes automatisés, de systèmes informatiques et de systèmes de communication.
Ce cours est une suite du module du premier semestre sur la modélisation des systèmes à événement discret où on passe à la modélisation et l'évaluation des systèmes plus complexes en utilisant les extensions des réseaux de Petri (RdPs). Après avoir rappelé les notions de bases relatives aux réseaux de Petri ordinaires, les objectifs de ce cours peuvent se résumer dans les points suivants:
1. Comprendre le fonctionnement des extensions des RdPs (RdPs avancés).
2. Apprendre à modéliser par les RdPs avancés tels que:
* Les RdPs continus et autonomes
* Les RdPs hybrides temporisés
* Les RdPs colorés
3. Etre capable de modéliser un cas réel par les extensions des RdPs (application réelle).
La liste des chapitres et leurs intitulés sont donnés comme suit:
Chapitre 1: Rappel sur les RdPs ordinaires
Chapitre 2: RdPs continus et autonomes
Chapitre 3: RdPs hybrides temporisés
Chapitre 4: RdPs colorés
Chapitre 5: Modélisation d'un cas réel
- Enseignant: CHEKARI Tassadit