Vous êtes
> Formation > Cursus ingénieur
Les modèles
Cet enseignement présente dans le cadre des séances de cours et TD les formalismes réseaux de Petri et réseaux de files d'attente. Un langage de simulation (ARENA) est présenté dans le cadre de TP. La présentation de ces formalismes sera appuyée sur des exemples de modélisation de systèmes de production de biens et de services.
Réseaux de Petri (environ 9h de cours et 9h de TD)
Introduction sur les automates d'états
Réseaux de Petri autonomes ; validation formelle
Réseaux de Petri temporisés ; évaluation de performances
Réseaux de Petri colorés
Réseaux de files d'attente (environ 13,5h de cours et 13,5h de TD)
Rappels de probabilités
Introduction aux processus stochastiques
Chaînes de Markov à temps discret
Chaînes de Markov à temps continu
Files d'attente (une file d'attente, réseaux à forme produit)
Langages de simulation (9h de TP)
Lien entre files d'attente et simulation (notion d'ergodicité, de convergence, comparaison des méthodes analytiques et de la simulation)
Présentation et programmation d'un langage de simulation à événements discrets : le langage ARENA
Probabilités
Contrôle continu (CC) : notes de TP - La note de CC ne se rattrape pas
Évaluation session 1 (E1) = examen écrit (se fera en 2 parties ; premier examen sur les réseaux de petri (1/3) et deuxième examen sur la partie stochastique (2/3))
Évaluation session 2 (E2) = examen écrit
N1 = note finale session 1
N2 = note finale session 2
Le jury peut décider le passage en année supérieure sous réserve de validation différée de cette UE. Cette décision reste exceptionnelle ; le jury est souverain pour chaque étudiant.
N1 = 0,25*CC + 0,75*E1
Cette pondération est compatible avec une organisation des enseignements et des examens en distanciel.
N2 = E2
Le cours est programmé dans ces filières :
Code de l'enseignement : 4GUL0105
Langue(s) d'enseignement :
Vous pouvez retrouver ce cours dans la liste de tous les cours.
« Du Grafcet aux réseaux de Petri » R. David, H. Alla ; éd. Hermès
« Théorie des Files d'attente : des chaînes de markov aux réseaux à forme produit » B. Baynat, Ed. Hermes, 2000.
Et
mise à jour le 5 juin 2015