Archives par mot-clé : C++

MinCoverPetri

Dans le cadre des recherches de Pierre-Alain Reynier de l’équipe Modélisation et Vérification (MOVE) ayant abouti à la publication Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning, un prototype d’outil de calcul de l’ensemble minimal de couverture de réseaux de Petri a été développé en Python. La cellule développement technologique s’est appuyée… Lire la suite »

DataCorrAnalysis

DataCorrAnalysis est un logiciel de calcul et de visualisation de dépendances fonctionnelles dans des bases de données relationnelles en cours de développement par Noël Novelli de l’équipe Bases de Données Avancées (BDA). La cellule développement technologique a apporté son soutien au projet en développant de nouvelles fonctionnalités dans le logiciel (sauvegarde et cache binaire sur… Lire la suite »