"Arbres (Théorie des graphes)" . . . . "Pétri, Réseaux de." . . "Décidabilité (logique mathématique) Thèses et écrits académiques." . . "Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne)." . . "Université de Paris-Sud." . . . "Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo" . . . . . "Structuration des systèmes de transitions : applications au contrôle du parallélisme par files fifo" . . . . . "Structuration des systèmes de transitions applications au contrôle du parallélisme par files fifo" . . "GENERALISATION DES RESEAUX DE PETRI AUX SYSTEMES DE TRANSITION STRUCTURES. DEFINITION DE L'ARBORESCENCE REDUITE DE TELS SYSTEMES. GENERALISATION DE LA DEFINITION DU GRAPHE DE COUVERTURE. INTRODUCTION DE LA NOTION D'ISOMORPHISME. APPLICATION AUX RESEAUX MONOGENES ET AUX RESEAUX A CHOIX LIBRE." . . . . . . . "Structuration des systèmes de transitions applications au contrôle du parallelisme par files FIFO" . "Parallélisme (Informatique)" . . "Systèmes informatiques Thèses et écrits académiques." . .