Directeur de recherche honoraire - LAAS-CNRS Toulouse, 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.