Algorithmes primitifs récursifs et problèmes EXPSPACE-Complets dans les réseaux de Petri cycliques

Primitive recursive algorithms and expspace-complete problems in cyclic Petri nets

• Auteur / Autrice : Zakaria Bouziane
• Direction : Alain Finkel
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Cachan, Ecole normale supérieure

Mots clés

Mots clés contrôlés

Semigroupes

Analyse diophantienne

Petri, Réseaux de

Mots clés libres

Réseau Petri

Vérification

Algorithmique

Semi groupe

Analyse diophantienne

Petri net

Verification

Algorithmics

Semigroup

Résumé

Nous présentons, dans cette thèse, des résultats de complexité pour les problèmes de vérification (l'accessibilité, la couverture, le boundedness, la rationalité, la vivacité, l'inclusion et l'équivalence) de certaines classes de réseaux de Petri (réseaux cycliques, structurellement cycliques et réversibles). Ces résultats nous permettent de dériver d'autres résultats de complexité dans le domaine de l'algorithmique des variétés algébriques (semi groupes commutatifs). Nous calculons aussi des bornes supérieures pour les solutions minimales des systèmes diophantiens linéaires ce qui nous permet de montrer que le problème de l'accessibilité pour deux classes de réseaux de Petri (réseaux conservatifs et réseaux acycliques) est en espace 2#c#. #n.