Le problème de l'accéssibilité dans les réseaux de pétri

par Jean-Luc Lambert

Thèse de doctorat en Informatique

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1987

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .

Le président du jury était Joffroy Beauquier.

Le jury était composé de Guy Vidal-Naquet, Joffroy Beauquier, Didier Fayard, Gérard Memmi, Louis Rosier.


  • Résumé

    Nous donnons une nouvelle preuve de la décidabilité de l'accessibilité dans les réseaux de Petri améliorant celles de Mayr et de Kosaraju. Nous avons supprimé les calculs dans l'arithmétique de Presburger et obtenons de nouveaux résultats en théorie des réseaux de Petri et des langages de réseau de Petri. Un premier chapitre est consacré à la résolution des systèmes d'équations en nombres entiers positifs. Les trois chapitres suivants présentent la preuve de la décidabilité de l'accessibilité. Le dernier chapitre étudie les conséquences du résultat en théorie des langages de réseau de Petri.

  • Titre traduit

    The reachability problem for Petri nets


  • Résumé

    We present a new proof of the decidability of the reachability for Petri nets improving those of Mayr and Kosaraju. We suppressed the calculation in Presburger's arithmetic and obtain new results in petri net and Petri net language theories. The first chapter is assigned to the resolution of linear systems of equations in positive integers. The three following chapters present the proof of the decidability of the reachability. In the last chapter we study the consequences of this result in Petri net language theory.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (99 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p .95-96

Où se trouve cette thèse ?

  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Accessible pour le PEB
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1987)214
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-034542
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.