Une categorie reguliere de reseau de petri de haut niveau : definition, proprietes et reductions, application a la validation de systemes distribues

par Serge Haddad

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1987

à Paris 6 .

    mots clés mots clés


  • Résumé

    Developpement d'une theorie des reseaux reguliers (qui permettent l'analyse directe des reseaux colores), fondee sur trois outils complementaires: la construction d'un graphe de marquages symboliques, le calcul des invariants lineaires et la definition de l'ensemble des reductions


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 182 P.
  • Annexes : 45 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1987 418
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1987
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.