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. Dans les premières parties, nous recherchons la relation la plus grande possible qui soit une équivalence sur les places du réseaux nous permettant de les fusionner et telle que le réseau réduit soit bisimilaire au réseau original. Nous montrons que la bisimulation de places vérifie ces contraintes et qu'il existe des algorithmes efficaces (polynomiaux) pour la calculer. Dans la suite, des cas d'extensions classiques des réseaux (arcs inhibiteurs) comme des équivalences (bisimulations "observationnelle") sont abordés. La dernière partie de la thèse s'intéresse à l'équivalence de propriétés entre le réseau initial et le réseau quotient. Ce travail se termine par la présentation succincte du logiciel Petris qui met en oeuvre les différents algorithmes.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00005059 |
| Date | 28 November 1995 |
| Creators | Quivrin-Pfister, Wilfried |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds