Meliouh, Amel (2009) Modélisation et Vérification des systèmes de production distribués à l’aide d’UML et des réseaux de Petri. Masters thesis, UNIVERSITÉ MOHAMED KHIDER-BISKRA.
|
Text
page de garde.pdf Download (7kB) | Preview |
|
|
Text
Chapitre1.pdf Download (489kB) | Preview |
|
|
Text
Chapitre2.pdf Download (891kB) | Preview |
|
|
Text
Chapitre 3.pdf Download (1MB) | Preview |
|
|
Text
introduction.pdf Download (18kB) | Preview |
|
|
Text
sommaire.pdf Download (10kB) | Preview |
|
|
Text
table de figures.pdf Download (14kB) | Preview |
|
|
Text
Remerciements.pdf Download (6kB) | Preview |
|
|
Text
Remerciements.pdf Download (6kB) | Preview |
Abstract
Un processus de production est une partie importante d’un système de production. Dans ce travail, nous proposons une méthode pour la conception d’un superviseur de contrôle pour un processus de production distribué. Cette conception utilise UML pour la modélisation de l’aspect statique du processus et les réseaux de Petri pour la modélisation comportementale et la vérification des propriétés du processus. Le passage du diagramme UML vers les réseaux de Petri s’effectue de manière automatique, via une grammaire de graphes offerte par un outil de multi-modélisation ATOM3. La versificatrice des propriétés du processus de production est assurée par un outil adapté pour les réseaux de Petri, qui est INA.
| Item Type: | Thesis (Masters) |
|---|---|
| Uncontrolled Keywords: | Processus de production distribués, réseaux de Petri, UML, Contrôleur de supervision, Grammaire de graphes. |
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Divisions: | Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie > Département d'informatique |
| Depositing User: | BFSE |
| Date Deposited: | 07 May 2018 13:40 |
| Last Modified: | 07 May 2018 13:40 |
| URI: | http://thesis.univ-biskra.dz/id/eprint/3655 |
Actions (login required)
 |
View Item |
