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 .


  • 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

  • Titre traduit

    Coloured petri nets and continuous petri nets: application to the study of discrete events systems


  • Pas de résumé disponible.

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.