Réseaux de Pétri colorés et réseaux de Pétri continus : application à l'étude des systèmes à évènements discrets

par Hassane Lotfi Alla

Thèse de doctorat en Sciences physiques

Sous la direction de Pierre Ladet.

Soutenue en 1987

à Grenoble INPG .


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Presentation de mehodes et d'outils pour modelisation d'un systeme et pour sa validation. La validation formelle est effectuee par l'exploitation des invariants lineaires de marquages de places et de tris des transitions. Utilisation des reseaux de petri continus

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 172 p.
  • Annexes : 53 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : C 5738
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 87/INPG/0057
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.