Établissement
INP - ENSEEIHT
Description
Dans ce cours sont étudiés les réseaux de Petri utilisés pour résoudre des problèmes dans des systèmes concurrents et distribués, où plusieurs processus ou événements se produisent simultanément et interagissent de manière complexe. Ils permettent de modéliser et d'analyser des scénarios tels que la synchronisation de tâches, la gestion des ressources partagées, la détection de blocages, et la vérification de propriétés de sécurité et de vivacité dans des environnements dynamiques et imprévisibles.