Modelisation structurelle du temps par reseaux de petri : une contribution a la validation temporelle

par FRANCK GASNIER

Thèse de doctorat en Sciences et techniques. Chimie

Sous la direction de Marc Bourcerie.

Soutenue en 1998

à Angers .

    mots clés mots clés


  • Résumé

    Le travail presente dans le cadre de cette these porte sur la definition d'une technique de modelisation du temps par reseaux de petri et sur les analyses temporelles que l'on peut en faire. L'originalite de ce travail est d'introduire le temps non comme une dimension particuliere n'apparaissant que sous la forme d'etiquettes, mais comme une partie du modele global. Le resultat de cette introduction est un reseau de petri generalise qui decrit de facon disjointe le comportement du systeme et sa dependance temporelle. Ayant acces a la partie temporelle, il est possible de multiplier les sources de temps, de modifier dynamiquement la valeur et meme le fonctionnement d'une temporisation. Mais l'avantage principal de cette introduction du temps est de disposer de toutes les techniques d'analyse comportementales des reseaux de petri generalises et de pouvoir interpreter temporellement les proprietes extraites grace a elles. Nous definissons egalement une technique d'analyse enumerative adaptee a ces temporisations structurelles qui masque les evolutions internes de la partie temporelle afin de simplifier l'extraction de proprietes. Enfin nous proposons un algorithme qui recherche les regimes permanents qu'un systeme peut atteindre quand on ne maitrise pas l'etat initial mais que l'on connait un certain nombre de caracteristiques (taille d'un stock). Cet algorithme recherche en fait les sequences de franchissement possibles relativement a des contraintes de marquages (exprimees par des invariants de places instancies) d'un invariant de transitions donne.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 134 p.
  • Annexes : 53 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Angers. Service commun de la documentation. Section Lettres - Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : Th.1742 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH.1742
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.