| Titre : | Modélisation et vérification des systèmes de production distribués à l'aide d'UML et des réseux de petri |
| Auteurs : | Amel Meliouh, Auteur ; Allaoua Chaoui, Directeur de thèse |
| Type de document : | Mémoire magistere |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2009 |
| ISBN/ISSN/EAN : | TINF/14 |
| Format : | 1 vol. (104 p.) / 30 cm |
| Langues: | Français |
| Résumé : |
A partir d'une chaîne d'embouteillage et une autre d’emballage de produits, deux exemples ont été proposés pour la raison qu’ils sont traités de manière manuelle dans un travail précédent [Bordbar, 2000], donnant la possibilité de valider nos résultats. Ces deux exemples nous ont permis d'appliquer notre méthode de conception d’un superviseur de contrôle. Les deux exemples ont suivi les différentes étapes menant à la modélisation d'un processus de production distribué, et la vérification de ses propriétés en vue de sa supervision.Nous avons étudié deux variantes pour chaque exemple. Dans le premier exemple concernant la chaîne d’emballage nous avons modélisé le processus tel qu il est dans la première variante,ensuite nous avons modifié l’état initial des machines composant la chaîne et nous avons trouvé que le processus risque d’être dans un état de blocage. .Dans le deuxième exemple, Nous avons essayé de modifier la synchronisation entre les machines composant la chaîne d’embouteillage, après la vérification des propriétés, nous avons obtenu que le modèle est non vivant et le graphe des états désirables ne peut pas être calculé,indiquant qu’ il y a un problème de blocage dans le processus d’embouteillage. |
| Sommaire : |
INTRODUCTION GENERALE……………………………………………………........... …..1
CHAPITRE 1 ETAT DE L’ART : Modélisation et vérification en vue de la supervision des systèmes de production............................................................................................................. 5 1.1 Systèmes à événements discrets ............................................................................................ 5 1.1.1 Définition....................................................................................................................... 5 1.1.2 Exemple de Systèmes a événements discrets .................................................................. 6 1.1.3 Systèmes continus, systèmes à événements discrets........................................................ 7 1.1.4 Différents modèles pour les DES.................................................................................... 8 1.1.4.1 Réseaux de Petri...................................................................................................... 8 1.1.4.2 Algèbre des dioïdes ................................................................................................. 8 1.1.4.3 Langages et Automates............................................................................................ 9 1.1.5 Théorie de supervision pour la commande des DES ....................................................... 9 1.1.5.2 Démarche de conception d’un superviseur de contrôle........................................... 10 1.1.5.3 Exemple de conception d’un superviseur de contrôle............................................ 11 1.2 Systèmes de productions..................................................................................................... 13 1.2.1 Définitions ................................................................................................................. 13 1.2.2 Composants d’un système de production...................................................................... 14 1.2.2.2 Système de pilotage............................................................................................... 15 1.2.3 Caractéristiques des systèmes de production ................................................................ 15 1.2.3.1 Flexibilité.............................................................................................................. 15 1.2.3.2 Réactivité ............................................................................................................. 16 1.2.3.3 Proactivité ............................................................................................................ 16 1.2.3.4 Robustesse ............................................................................................................ 17 1.2.4 Processus de production............................................................................................... 17 1.2.5 Complexité des systèmes de production ....................................................................... 17 1.2.6 Classes des systèmes de production.............................................................................. 17 1.2.6.1 Systèmes de production distribués......................................................................... 18 1.2.6.2 Systèmes de production flexibles........................................................................... 18 1.2.7 Supervision des systèmes de production....................................................................... 18 1.2.7.1 Réflexions sur les terminologies Commande, Surveillance et Supervision ........... 18 1.2.7.2 Superviseur pour les systèmes de production......................................................... 19 1.2.7.3 Structures de supervision d’un système de production ........................................... 21 1.2.8 Modélisation des systèmes de production en vue de leur supervision............................ 21 1.2.8.1 Modélisation structurelle ....................................................................................... 21 1.2.8.2 Modélisation comportementale.............................................................................. 23 1.2.8.3 Langage de modélisation UML ............................................................................. 23 1.2.9 Vérification des systèmes de production en vue de leur supervision ............................. 35 1.2.9.1 Modèle de Checking.............................................................................................. 35 1.2.9.2 Automates à états finis .......................................................................................... 37 1.2.9.3 Réseaux de Petri.................................................................................................... 38 1.4 Conclusion.......................................................................................................................... 49 CHAPITRE 2 Proposition d’une méthode de conception d’un superviseur de contrôle pour un processus de production distribué .................................................................................... 51 2.1 Transformation de modèles................................................................................................. 51 2.1.1 Pourquoi modéliser ................................................................................................. 51 2.1.2 Méta-modélisation .................................................................................................. 52 2.1.3 Transformation de modèles ..................................................................................... 53 2.1.3.1 Définitions ........................................................................................................ 53 2.1.3.2 Transformations de type modèle vers modèle .................................................... 54 2.1.3.3 Structure d’une transformation de type modèle vers modèle .............................. 54 2.1.3.4 Transformation de graphes ................................................................................ 55 2.2 ATOM3.............................................................................................................................. 56 2.2.1 Présentation............................................................................................................ 56 2.2.2 Architecture d’ATOM3............................................................................................ 57 2.2.2.1 Attributs ............................................................................................................ 57 2.2.2.2 Contraintes et actions ........................................................................................ 58 2.2.2.3 Transformation de graphes ............................................................................... 60 2.2.2.4 Langage Pyton................................................................................................... 61 2.3 Modélisation de processus de production distribué.............................................................. 62 2.3.1 Choix des moyens de modélisation.......................................................................... 62 2.3.2 Démarche de modélisation d’un processus de production distribué.......................... 63 2.3.2.1 Modélisation structurelle ................................................................................... 63 2.4 Vérification du processus de production distribué ............................................................... 67 2.4.1 Choix des moyens de vérification............................................................................ 67 2.4.2 INA......................................................................................................................... 68 2.4.3 Démarche de vérification d’un processus de production distribué............................ 69 2.4.3.1 Génération d’un outil de modélisation avec les réseaux de Petri ........................ 71 2.4.3.2 Définition d’une grammaire de graphes ............................................................. 72 2.4.3.3 Vérification automatique des propriétés comportementales du processus de production ........................................................................................................................ 77 2.5 Conclusion.......................................................................................................................... 79 CHAPITRE 3 ETUDE DE CAS : Exemples d’application de la méthode de conception d’un superviseur de contrôle pour un processus de production distribué ........................... 80 3.1 Exemple1 : Chaîne d’emballage de produits ....................................................................... 80 3.1.1 Présentation ................................................................................................................. 80 3.1.2 Modélisation avec UML............................................................................................... 81 3.1.2.1 Diagramme de cas d’utilisation ............................................................................. 81 3.1.2.1 Diagramme de classes ........................................................................................... 81 3.1.2.3 Modélisation automatique de l’exemple ................................................................ 82 3.1.3 Transformation du diagramme de classes vers les réseaux de Petri ........................... 84 3.1.4 Vérification des propriétés du réseau de Petri généré.................................................... 86 3.2 Exemple2 : Chaîne d’embouteillage.................................................................................... 93 3.2.1 Présentation ................................................................................................................. 93 3.2.2 Modélisation avec UML............................................................................................... 93 3.2.2.1 Diagramme de cas d’utilisation ............................................................................. 93 3.2.2.2 Diagramme de classes ........................................................................................... 94 3.2.2.3 Modélisation automatique de l’exemple ................................................................ 94 3.2.3 Transformation du diagramme de classes vers les réseaux de Petri............................... 95 3.2.4 Vérification des propriétés du réseau de Petri généré.................................................... 96 3.3 Conclusion........................................................................................................................ 100 |
| Type de document : | Thése magister |
| En ligne : | http://thesis.univ-biskra.dz/id/eprint/5366 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| TINF/14 | Mémoire de magister | bibliothèque sciences exactes | Consultable |
