Systèmes à Evenement Discret - Réseau de Petri

Systèmes à Evenement Discret - Réseau de PetriCode de l'UE : HMEE111

Présentation

- Le modèle Petri
- Classification des systèmes
- Notion de systèmes à évènements discrets
- Modélisation
- Règles d'évolutions
- Notions de conflit, persistance, blocage
- Configurations structurelles et comportements associés
- Etude du marquage
- Propriétés
- Notion de composante conservative
- Invariants de places et de transitions

Objectifs

Bases conceptuelles du modèle de réseau de Petri. Modélisation et analyse comportementale. Outils d'analyse permettant de conclure sur des propriétés de bon fonctionnement.

Volume horaire

  • CM : 16.5
  • TD : 0
  • TP : 9
Diplômes intégrant cette UE

En bref

Crédits ECTS 2.5

Période de l'année
premierSemestre