Abstract FR:

Cette thèse concerne une nouvelle méthode de réduction des réseaux de Petri. Le problème de la réduction des réseaux a d'abord été considéré comme le moyen de réduire l'espace des états sans modifier un certain nombre de propriétés (telles que "être borne", "être vivant", etc) afin de faciliter leur étude. Nous nous placons ici dans une toute autre optique, puisque nous allons chercher une méthode de réduction non pas en voulant conserver un ensemble de propriétés, mais préservant le comportement du réseau.