Techniques d'analyse des reseaux de petri algebriques

Analysis techniques for algebraic petri nets

• Auteur / Autrice : Laure Petrucci
• Direction : Gérard Berthelot
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1991
• Etablissement(s) : Paris 6

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