Contribution a l'etude des systemes a evenements discrets et des systemes hybrides. Theorie et mise en uvre des machines de petri

par LAURENT JACOT

Thèse de doctorat en Sciences appliquées

Sous la direction de P. LADET.

Soutenue en 1994

à l'INP GRENOBLE .


  • Résumé

    La these est organisee en trois parties: la partie i traite de la modelisation des systemes a evenements discrets et des systemes hybrides. Apres avoir presente une revue critique de la litterature relative a la modelisation des systemes a evenements discrets et des systemes hybrides, nous proposons une approche systemique de la modelisation des systemes a evenements discrets, approche que nous generalisons pour les systemes hybrides. La partie ii propose une reformulation de la theorie des reseaux de petri. L'idee de base est de considerer comme action atomique, non plus le tir d'une et une seule transition, mais le tir d'un multi-ensemble positif de transitions. L'ensemble des notions fondamentales generalisees et introduites constitue la base de la theorie d'un nouveau formalisme permettant de prendre en compte de maniere unifiee les principales regles de tir proposees pour les reseaux de petri: les machines de petri. Nous generalisons les principes methodes d'analyse des reseaux de petri et montrons, parmi d'autres resultats, que certaines classes de machines de petri admettent une caracterisation vectorielle des situations de conflit effectif. La partie iii propose trois formalismes machines de petri non autonomes. Dans le cadre methodologique propose dans la partie i, nous montrons le benefice qu'apportent ces formalismes pour la commande et la simulation des systemes a evenements discrets et des systemes hybrides. Au fil de la these, notre contribution est illustree par plusieurs exemples de systemes de production et d'applications temps reel


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 302 P.
  • Annexes : 76 REF.

Où se trouve cette thèse ?

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