Modélisation et analyse des systèmes discrets

Comprendre et maitriser des outils formels de modélisation et analyse des systèmes concurrents, notamment les réseaux de Petri colorés, intégrant de la gestion du temps (temporels, T-temporisés, P-temporisés), stochastiques, possibilistes, hybrides, imbriqués, …

·       Ce cours s’intéresse aux systèmes concurrents où des processus concurrents et parfois non déterministes doivent être réalisés avec diverses contraintes : ordre d’exécution des événements, interactions entre sous-systèmes, temps. Il vise à poser un cadre de modélisation et analyse à la fois formel et graphique, avec des outils de simulation et analyse au travers de réseaux de Petri ordinaires (low-level PN) et réseaux de Petri de haut-niveau (high-level PN).

N8EE16E: Réseau de Pétri