Raisonnement temporel base sur les reseaux de petri pour des systemes manipulant des ressources

par LUIS ALLAN KUNZLE

Thèse de doctorat en Sciences appliquées

Sous la direction de Robert Valette.

Soutenue en 1997

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Ce travail se place dans le cadre de l'analyse des systemes dynamiques a evenements discrets et concerne plus precisement l'elaboration de raisonnements temporels. Le modele que nous utilisons est un modele discret decrivant les changements d'etat et prenant en compte le temps de facon explicite tout en tolerant une certaine imprecision et un certain flou (duree mal connue). Il s'agit de reseaux de petri temporels flous. Notre approche a pour but d'eviter l'explosion combinatoire et l'augmentation excessive de l'imprecision, inherentes aux approches basees sur le graphe d'accessibilite, en ne travaillant que sur des scenarios particuliers du comportement. Un scenario correspond a un ensemble de trajectoires possibles du systeme entre deux etats partiels. Un niveau logique, base sur la logique lineaire de girard, a ete defini pour permettre la construction de ces scenarios. A ce niveau, nous traduisons le reseau de petri en une theorie logique et nous definissons des regles de deduction logique qui nous permettent de caracteriser des scenarios de comportement independamment du marquage initial global. Ces deductions fournissent l'etat minimal de depart du scenario, l'etat final de son execution, les evenements qui permettent de passer de l'un a l'autre et l'ordre partiel qui les relie. L'information temporelle explicite attachee a chaque evenement permet la validation temporelle du scenario. Une methode est proposee pour reecrire un scenario afin d'obtenir un parallelisme maximal des evenements qui le composent. L'analyse temporelle est alors effectuee sur ce scenario optimise. Des dates floues peuvent etre calculees de facon a delimiter des fenetres temporelles pendant lesquelles certains evenements ont eu lieu dans le passe (ou auront lieu dans le futur). Il est alors possible de raisonner sur les intervalles de temps de permanence des jetons dans les places, qui correspondent au temps pendant lequel les propositions logiques associees sont valables.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 170 P.
  • Annexes : 68 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-KUN
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.