Des bisimulations de places pour la réduction des réseaux de Petri - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1995

Place bisimulations for the reduction of Petri nets

Des bisimulations de places pour la réduction des réseaux de Petri

Résumé

This thesis concerns a new reduction method for Petri nets, place bisimulation. Formerly, reduction was considered as a technic to shrink the state-space without changing some behavioural properties (such as liveness, boudedness, etc) or as algorithms to state wether or not a net has such properties. We took a different approch since we granted to preserve the whole behavior and to make a structural reduction (as place merging). The first parts of this work presents solution : place bisimulation. For this method, we derive polynomial algorithms. Next, we extend our results to other net types (with inhibitor arcs) or bisimulation types (tau-bisimulations). We conclude our theoretical approch by linking our reduction method to some other theories (such as conflict-free nets). Finally, we conclude with some remarks and examples from the Petris system.
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.
Fichier principal
Vignette du fichier
tel-00005059.pdf (1.47 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00005059 , version 1 (24-02-2004)

Identifiants

  • HAL Id : tel-00005059 , version 1

Citer

Wilfried Quivrin-Pfister. Des bisimulations de places pour la réduction des réseaux de Petri. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1995. Français. ⟨NNT : ⟩. ⟨tel-00005059⟩

Collections

UGA
149 Consultations
199 Téléchargements

Partager

Gmail Facebook X LinkedIn More