| Libellé du cours : | Réseaux de Petri |
|---|---|
| Département d'enseignement : | EEA / Electronique Electrotechnique Automatique |
| Responsable d'enseignement : | Monsieur ABDOUL-KARIM TOGUYENI |
| Langue d'enseignement : | Français |
| Ects potentiels : | 0 |
| Grille des résultats : | |
| Code et libellé (hp) : | LE3_5_MA_MIN_RPE - Réseaux de Petri |
Equipe pédagogique
Enseignants : Monsieur ABDOUL-KARIM TOGUYENI / Monsieur GHASSEN CHERIF
Intervenants extérieurs (entreprise, recherche, enseignement secondaire) : divers enseignants vacataires
Résumé
Les Systèmes à Evénements Discrets (SED) sont des systèmes dont l’état peut être décrit par des variables discrètes et qui changent d’états sur occurrence d’événements. De nombreuses classes de systèmes appartiennent à cette catégorie : les systèmes automatisés, les systèmes de transport, les systèmes d’exploitation, l’étude des protocoles des réseaux. Les réseaux de Petri sont un outil mathématique qui permet de modéliser et d’analyser les propriétés des SED. Cet enseignement apporte des connaissances indispensables à des futurs ingénieurs, pour l’automatisation des systèmes, l’étude des protocoles réseaux, la spécification des tâches de programmes évoluant en parallèle, l’étude de la sûreté de fonctionnement d’un système et l’optimisation.
Objectifs pédagogiques
À l’issue du cours, l’élève sera capable de : - Modéliser un SED en Réseau de Petri - D’analyser formellement les propriétés du modèle - De simuler le modèle Compétences développées: - Modélisation des SED - Vérification des SED
Objectifs de développement durable
Modalités de contrôle de connaissance
Contrôle Terminal
Commentaires:
Ressources en ligne
- Serveur pédagogique
Pédagogie
Séquencement / modalités d'apprentissage
| Nombre d'heures en CM (Cours Magistraux) : | 12 |
|---|---|
| Nombre d'heures en TD (Travaux Dirigés) : | 6 |
| Nombre d'heures en TP (Travaux Pratiques) : | 0 |
| Nombre d'heures en Séminaire : | 0 |
| Nombre d'heures en Demi-séminaire : | 0 |
| Nombre d'heures élèves en TEA (Travail En Autonomie) : | 0 |
| Nombre d'heures élèves en TNE (Travail Non Encadré) : | 0 |
| Nombre d'heures en CB (Contrôle Bloqué) : | 0 |
| Nombre d'heures élèves en PER (Travail PERsonnel) : | 0 |
| Nombre d'heures en Heures Projets : | 0 |
Pré-requis
- Algèbre linéaire