Une méthode ascendante de modélisation et d'analyse de systèmes automatisés de production à l'aide de réseaux de Pétri

par Patrick Finotto

Thèse de doctorat en Automatique, traitement du signal et génie informatique

Sous la direction de François Prunet.

Soutenue en 1997

à Montpellier 2 .


  • Résumé

    Nous presentons, dans ce memoire, une methode de conception et d'analyse des systemes automatises de production. Les reseaux de petri disposent d'un symbolisme graphique simple, et repose sur des concepts mathematiques qui permettent de prouver leur bon fonctionnement. Malheureusement, la grande taille des reseaux obtenus complique la conception et l'analyse des reseaux de petri. Nous avons donc cherche a definir une methode de conception modulaire. Les differents reseaux de petri, qui representent le comportement de differentes parties du systeme global, sont synchronises par des transitions communes. A cette methode, nous avons associe une methodologie de conception ascendante. Nous proposons de construire de facon incrementale le reseau de petri decrivant le systeme global. Pour cela, le comportement de chaque sous-systeme est decrit dans un reseau, de facon independante. Puis ces sous-systemes sont regroupes en ensembles plus complexes. A chaque nouvel ensemble, on associe un reseau de petri qui decrit la coordination entre les differents sous-systemes regroupes. Cette etape de regroupement est ensuite repetee jusqu'a ce que le systeme global ait ete completement decrit. D'une part, la methode assure une preservation des invariants de marquage lorsque l'on ajoute un nouveau niveau de synchronisation. Nous avons egalement donne des conditions necessaires pour obtenir la vivacite et la reinitialisabilite du reseau global, a partir des proprietes de chaque sous-reseau. D'autre part, deux algorithmes ont ete proposes pour calculer les p et t-semi-flots. Appliques sur deux exemples, ils apportent un gain en terme de temps de calcul qui permet le calcul des invariants a chaque nouveau module cree. Enfin, nous proposons plusieurs algorithmes de construction du graphe de couverture d'un systeme, a partir des graphes des sous-systemes qu'il coordonne, dans le cas ou il les reseaux des sous-systemes coordonnes sont bornes.

  • Titre traduit

    A bottom-up design and analysis method for manufacturing systems using petri nets


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 182 p
  • Annexes : Bibliogr.: p. 179-182

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 97.MON-194
  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1997-FIN
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.