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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (150 p.)
  • Annexes : 77 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
  • Cote : THE BOU (Salle de réf.)
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
  • Cote : CTLes / THE BOU

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1996-BOU
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.