Recherche Avancée

Thèse soutenue

Raisonnement temporel basé sur les réseaux de Petri pour les systèmes manipulant des ressources

FR  |  
EN
Auteur / Autrice : Luis Allan Künzle
Direction : Robert Valette
Type : Thèse de doctorat
Discipline(s) : Informatique industrielle
Date : Soutenance en 1997
Etablissement(s) : Toulouse 3

Résumé

FR

Ce travail se place dans le cadre de l'analyse des systèmes dynamiques à évènements discrets et concerne plus précisément l'élaboration de raisonnements temporels. Le modèle que nous utilisons est un modèle discret décrivant les changements d'état et prenant en compte le temps de façon explicite tout en tolérant une certaine imprécision et un certain flou (durée mal connue). Il s'agit de réseaux de petri temporels flous. Notre approche a pour but d'éviter l'explosion combinatoire et l'augmentation excessive de l'imprécision, inhérentes aux approches basées sur le graphe d'accessibilité, en ne travaillant que sur des scenarios particuliers du comportement. Un scenario correspond à un ensemble de trajectoires possibles du système entre deux états partiels. Un niveau logique, base sur la logique linéaire de girard, a été défini pour permettre la construction de ces scenarios. A ce niveau, nous traduisons le réseau de petri en une théorie logique et nous définissons des règles de déduction logique qui nous permettent de caractériser des scenarios de comportement indépendamment du marquage initial global. Ces déductions fournissent l'état minimal de départ du scenario, l'état final de son exécution, les évènements qui permettent de passer de l'un à l'autre et l'ordre partiel qui les relie. L'information temporelle explicite attachée à chaque évènement permet la validation temporelle du scenario. Une méthode est proposée pour réécrire un scenario afin d'obtenir un parallélisme maximal des évènements qui le composent. L'analyse temporelle est alors effectuée sur ce scenario optimise. Des dates floues peuvent être calculées de façon à délimiter des fenêtres temporelles pendant lesquelles certains évènements 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 associées sont valables.