Univ. de Paris-Sud, Centre d'Orsay, These d'Etat, November 1986.
Abstract: Les semi-flots dont la definition a ete etendue a ce modele, permettent d'etablir des proprietes invariantes sur la ``structure'' d'un reseau de Petri, c'est-a-dire independantes d'un marquage donne. Leur determination a lieu a l'aide d'algorithmes bases sur la recherche de solutions entieres ou entieres positives de systemes lineaires d'equations. Certains de ces algorithmes sont exponentiels et nous nous interessons a la recherche d'heuristiques pouvant abaisser cette complexite. Nous montrons que ces heuristiques entrainent dans certains cas des ameliorations remarquables des performances et permettent aussi, grace a la structure des donnees geree au sein des programmes, l'analyse de reseaux de taille importante.