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 .

mots clés

• GPAO -- Modèles mathématiques
• Systèmes échantillonnés
• Systèmes, Analyse de
• Petri, Réseaux de

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.