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

par Zakaria Bouziane

Thèse de doctorat en Informatique

Sous la direction de Alain Finkel.

Soutenue en 1996

à Cachan, Ecole normale supérieure .

mots clés

• Réseau Petri
• Vérification
• Algorithmique
• Semi groupe
• Analyse diophantienne
• Petri net
• Verification
• Algorithmics
• Semigroup
• Petri, Réseaux de
• Analyse diophantienne
• Semigroupes

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.

Titre traduit

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

Pas de résumé disponible.