Maître de conférences à Polytech'Nantes - Laboratoire des Sciences et du Numérique de Nantes (LS2N), France
Un réseau de Petri permet de modéliser des systèmes de contrôle-commande. Découvrez ces réseaux avec leurs extensions fonctionnelles et temporelles, puis explorez leur utilisation concrète grâce à deux logiciels et un outil de déploiement.