Techniques d'analyse des reseaux de petri algebriques

par LAURE PETRUCCI

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Berthelot.

Soutenue en 1991

à Paris 6 .

mots clés

Résumé

Les specifications formelles de types abstraits algebriques facilitent de travail du concepteur en lui permettant de decrire rigoureusement le systeme a etudier. Mais elles ne prennent pas en compte le parallelisme et sont destinees a valider uniquement des systemes sequentiels. Au contraire, les reseaux de petri permettent de decrire aisement des systemes paralleles, mais ne peuvent pas modeliser les structures de donnees utilisees habituellement en programmation. C'est pourquoi les reseaux algebriques furent introduits par j. Vautherin. Ils allient la puissance d'expression de types abstraits algebriques et celle des reseaux de petri. La contrepartie du pouvoir de modelisation de ces reseaux est la difficulte d'analyse. Nous nous proposons donc de fournir une batterie d'outils pour l'analyse des reseaux algebriques: semantiques en termes de modeles plus simples, composition/decomposition, invariants, graphes semi-couvrants, reductions

Pas de résumé disponible.