Inst. Natl. Sci. Appl., Lyon, These Doct.-Ing., 1984.
Abstract: Après une description des propriétés des Réseaux de Petri et de ses applications, nous nous sommes consacrés à l'étude de la visualisation graphique interactive: dessiner automatiquement les réseaux sur un écran graphique. La méthode heuristique retenue dans ces travaux a deux objectifs: 1) mise en évidence d'une structure hiérarchique; 2) réduction du nombre de croisements d'arcs. Le logiciel réalisé rend possible un dialogue avec l'utilisateur, lui permettand de: 1) choisir une partie du réseaux à visualiser; 2) modifier la structure du réseaux; 3) effectuer des évolutions dynamiques du réseau marqué.