Contribution à la modélisation et à l'analyse de systèmes à événements discrets par réseaux de Petri généralisés et colorés

Contribution to the modelling and analysis of discrete events systems by generalised ans coloured petri net

• Auteur / Autrice : Jean-Yves Morel
• Direction : Marc Bourcerie
• Type : Thèse de doctorat
• Discipline(s) : Sciences de l'ingénieur. Automatique et génie informatique
• Date : Soutenance en 1996
• Etablissement(s) : Angers

Mots clés

Mots clés contrôlés

Modèles mathématiques

Systèmes échantillonnés

Petri, Réseaux de

Résumé

Les systèmes à événements discrets sont caractérisés par un espace d'état discret et par une dynamique régie par l'occurrence d'événements asynchrones. Cette thèse traite de leur étude par réseaux de Pétri, le seul formalisme (mathématique et graphique) permettant à la fois leur spécification fonctionnelle, leur modélisation et leur évaluation. Le modèle d'un système complexe est souvent un réseau de Pétri (RdP) de grande taille qu'il est difficile d'analyser. Il peut toutefois être obtenu en composant des RdP connus de telle façon que les propriétés locales restent valables globalement. Apres un rappel des techniques de composition de RdP généralisés et des conditions de conservation des propriétés d'invariance, on définit des RdP de base pour en déduire une technique d'analyse par décomposition. Cette méthode est ensuite étendue aux RdP colorés, une extension concise et générale mais d'analyse habituellement délicate, et sa simplicité est soulignée par plusieurs exemples (notamment celui d'un système flexible de production). Enfin, on décrit une nouvelle voie pour prendre en compte les aléas dans la modélisation. Elle permet d'éviter l'énumération exhaustive des défaillances possibles (dont les procédures de reprise doivent être intégrées au RdP modélisant le fonctionnement normal) et de se passer d'un système de surveillance externe au modèle, ou au moins de les simplifier. Tout le problème de la reprise revient à déterminer les états successifs du système, c'est-a-dire à définir une séquence ; c'est pourquoi on introduit une représentation des RdP colorés fondée sur une structure algébrique de l'ensemble des couleurs. Celle-ci simplifie beaucoup la modélisation de problèmes de séquencement et autorise des modifications dynamiques de séquence.