Modélisation et simulation de systèmes critiquesSystèmes Industriels et sûreté de fonctionnement (MRI)

This module addresses simulation activities essential to the design of safe operating systems such as modeling a system and reasoning on a model.

This module addresses the simulation activities essential to the design of safe systems. Petri's networks make it possible to qualitatively model a system and visualize behaviours involving parallelism, synchronization and sharing of resources.

The theoretical results that concern them are abundant; the properties of these networks are widely used for the modelling of flows (data, matter, energy) and activities (scheduling of tasks, production management, ...).

Module layout: Presentation/generality and challenges Reminders of statistics and generalities on petri networks, simulation Advanced level on Petri networks, predicate and stochastic aspect. Crossing sequence analysis Formal analysis of Petri's networks by enumeration, Formal analysis of Petri networks by reduction, Formal analysis of Petri's networks by structural analysis, Draft application

Individual project.

David, René; Alla, Hassane Lotfi, "From Grafcet to Petri Networks", Hermès

Baynat, Bruno, "Theory of queues: from Markov chains to product-shaped networks", Hermès

Proth, Jean-Marie; Xie, Xiaolan, "The Petri Networks for the Design and Management of Production Systems", Masson