Modélisation et analyse des systèmes discrets

·       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).