Etude et realisation d'un logiciel d'analyse et de simulation des reseaux de petri

par FRANCOIS GELLOT

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Villermain Lecolier.

Soutenue en 1994

à Reims .

    mots clés mots clés


  • Résumé

    La complexite croissante des systemes automatises de production necessite l'utilisation d'outils puissants pour decrire leurs comportements et les interactions temporelles entre les differentes entites du systeme. Les reseaux de petri constituent un outil de modelisation et de simulation particulierement adapte pour specifier le comportement des systemes industriels. L'aspect graphique permet de decrire les contraintes de parallelisme, de synchronisation et de sequencement, l'aspect mathematique permet de garantir formellement les proprietes du systeme modelise. Pour decrire un comportement modelise par reseaux de petri, il faut un editeur graphique avec des fonctions d'editions conviviales qui supporte la construction du reseau et la verification syntaxique. Il faut egalement une structure d'analyse utilisant la formalisation mathematique du reseau pour etablir les proprietes telles que: blocage, reinitialisable, vivant, borne. Enfin, il faut une structure de simulation interactive et conviviale permettant d'observer le comportement du systeme en fonctionnement. Ces exigences ont ete determinantes dans l'etude et la realisation de petrilam, atelier interactif et convivial de modelisation, d'analyse et de simulation de reseaux de petri autonomes, generalises et interpretes. Petrilam est ecrit en langage objet smalltalk et developpe en collaboration avec la societe t. N. I. Brest. L'analyse d'un reseau de petri s'effectue par la construction de l'arbre des marquages. Cet arbre represente l'ensemble des evolutions possibles du reseau. Trois methodes de calcul d'arbres sont implantees et permettent de determiner toute ou partie des proprietes du systeme modelise. Deux modes de simulation sont possibles: le mode manuel et le mode automatique. En mode manuel, chaque pas de la simulation est selectionne par l'utilisateur. La simulation automatique des reseaux de petri autonomes et generalises se deroule selon un mecanisme de choix aleatoire de la transition a franchir. La simulation des reseaux de petri interpretes, plus complexe, repose sur la determination d'une sequence de simulation complete

  • Titre traduit

    Study and conception of a tool for analysis and simulation of petri nets


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 183 P.
  • Annexes : 69 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.