Informations générales
ECTSECTS
2
Goal(s)
La modélisation des systèmes séquentiels complexes suppose une représentation des notions d'état, de parallémisme et de synchronisation. Le Grafcet ne suffit pas dans de nombreux cas à exprimer les phénomènes rencontrés de par le nombre de variables qui interviennent et de relations entre éléments constitutifs du système étudié. La famille des réseaux de Petri répond à ce besoin mais nécessite un apprentissage non seulement de l'outil mais d'une méthode d'analyse supportée par cet outil. On traitera notamment des extensions des réseaux de Petri, réseaux de Petri colorés, continus et hybrides, en prenant comme exemples ceux rencontrés dans les entreprises manufacturières, dans l'organsiation des services et dans les réseaux d'acteurs.
Content(s)
- Les systèmes séquentiels, notions d'etat, de parallélisme, de synchronisation
- Les réseaux de Petri, historique, réseaux autonomes, temporisés, interprétés
- Validation, méthode des invariants
- Les réseaux de Petri colorés, exemples d'application
- Les réseaux continus et hybrides, notions
Compétences acquises
_En terme de nature :_
Concevoir analyser intégrer un système
Etablir un cahier des charges
_En terme d’outils :_
Outils graphiques et mathématiques
_En terme de niveau :_
Maîtrise (utilisateur averti)
Prérequis :
Grafcet, cours de base en logique
Test
Devoir surveillé 2 h
Calendar
S1
Additional Information
20 h CM + 2 h DS
Bibliography
R. David, H. Alla, Diu Grafcet aux réseaux de Petri
P. Ladet, Les réseaux de Petri, Techniques de l'Ingénieur
French State controlled diploma conferring a Master's degree
