Modélisation et simulation de systèmes critiquesRisques et systèmes industriels et IA (RSIIA) (MRI)

Ce module permet d'aborder les activités de simulation essentielles à la conception de systèmes sûres de fonctionnement tel que savoir modéliser un système et raisonner sur un modèle.

Ce module permet d'aborder les activités de simulation essentielles à la conception de systèmes sûrs. Les réseaux de Petri permettent de modéliser qualitativement un système et de visualiser des comportements comportant du parallélisme, de la synchronisation et du partage de ressources.

Les résultats théoriques qui les concernent sont abondants ; les propriétés de ces réseaux sont largement utilisées pour la modélisation des flux (donnée, matière, énergie) et des activités (ordonnancement de tâches, gestion de production, ...).

Plan du module: Présentation / généralité et enjeux Rappels de statistiques et généralités sur les réseaux de pétri, simulation Niveau avancé sur les réseaux de Petri, prédicat et aspect stochastique. Analyse de séquence de franchissement Analyse formelle des réseaux de Petri par énumération, Analyse formelle des réseaux de Petri par réduction, Analyse formelle des réseaux de Petri par analyse structurelle, Projet d'application

Projet individuel.

David, René ; Alla, Hassane Lotfi, "Du Grafcet aux réseaux de Petri", Hermès

Baynat, Bruno, "Théorie des files d'attente : des chaînes de Markov aux réseaux à forme produit", Hermès

Proth, Jean-Marie ; Xie, Xiaolan, "Les réseaux de Petri pour la conception et la gestion des systèmes de production", Masson