Abstract FR:

L'objet de cette these est de definir des methodes d'analyse hierarchique des reseaux de petri (un formalisme de modelisation du controle des systemes distribues). Premierement, nous etudions la transformation de reseaux par remplacement de sous-reseaux ouverts: une notion d'equivalence est definie telle que si on remplace un sous-reseau ouvert par un reseau equivalent on obtient un reseau equivalent au reseau d'origine; puis nous definissons la classe des reseaux reentrants, pour laquelle la verification de l'equivalence, complexe en general, devient simple. Deuxiemement, l'examen de la composition de reseaux par fusion de places conduit a deux resultats: la conservation d'espace d'accueil dans certaines conditions d'independance par rapport aux places partagees, et celle de l'absence d'interblocage lors de la composition des reseaux a ressources ordonnees (dans un sens different de la solution classique). Enfin, un nouveau concept de norme pour la preuve de la propriete d'espace d'accueil est defini, muni d'operations de composition permettant une verification modulaire de cette propriete