Thèse de doctorat en Sciences appliquées
Sous la direction de Gérard Berthelot.
Soutenue en 1991
à Paris 6 .
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
Analysis techniques for algebraic petri nets
Pas de résumé disponible.