| Titre : |
De réseaux de Petri « Nested-Nets » vers les réseaux de Petri « Nets-Within-Nets » : Une approche basée sur la transformation de graphes |
| Type de document : |
texte imprimé |
| Auteurs : |
Moussa Amrani, Auteur ; A.Ghafou Kiouaz, Auteur ; Allaoua Chaoui, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2012 |
| Importance : |
95 f. |
| Format : |
30 cm. |
| Note générale : |
Une copie electronique PDF disponible au BUC. |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Tags : |
Réseaux de Petri, Nested-Nets, Nets-Within-Nets, transformation de graphe, AToM3 |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
Les réseaux de Petri forment un outil de modélisation élégant et d’une grande puissance. C’est notamment
dans le contexte en pleine croissance des systèmes informatiques, que cet outil prend toute son importance. Il
devient nécessaire de pouvoir concevoir des systèmes toujours plus complexes, trop pour nos humbles capacités,
et surtout de s’assurer de leur bon fonctionnement.
Beaucoup d‟autres modèles de réseaux de Petri sont développés. Dans ce mémoire, nous nous intéressons aux
réseaux de Petri haut niveau (Nested-Nets et Nets-Within-Nets) qui permettent la modélisation hiérarchique des
systèmes multi-agents dynamiques en donnant aux jetons mêmes du réseau la structure d'un réseau de Petri.
La simulation de ces réseaux est une technique d'aide à la description, l'analyse, la validation et l'évaluation de
performances de ses systèmes, mais actuellement, il n‟existe pas des outils de simulation pour le modèle NestedNets.
Donc, l‟objectif de notre travail est de présenter une transformation des réseaux de Petri « Nested Nets » vers les
réseaux de Petri « Nets Within Nets » pour lesquels il y‟a un outil de simulation appelé Renew (Reference net
workshop) [1] en se basant sur le paradigme de la transformation de graphe. Notre approche consiste à proposer
une grammaire de graphe et des règles pour la transformation entre deux formalismes différents.
La transformation est implémentée à l‟aide de l‟outil AToM3, en plus des règles de transformation et les deux
méta-modèles (les RDPs Nested Nets et les RDPs Nets Within Nets) |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7326 |
De réseaux de Petri « Nested-Nets » vers les réseaux de Petri « Nets-Within-Nets » : Une approche basée sur la transformation de graphes [texte imprimé] / Moussa Amrani, Auteur ; A.Ghafou Kiouaz, Auteur ; Allaoua Chaoui, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 95 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
| Catégories : |
Informatique
|
| Tags : |
Réseaux de Petri, Nested-Nets, Nets-Within-Nets, transformation de graphe, AToM3 |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
Les réseaux de Petri forment un outil de modélisation élégant et d’une grande puissance. C’est notamment
dans le contexte en pleine croissance des systèmes informatiques, que cet outil prend toute son importance. Il
devient nécessaire de pouvoir concevoir des systèmes toujours plus complexes, trop pour nos humbles capacités,
et surtout de s’assurer de leur bon fonctionnement.
Beaucoup d‟autres modèles de réseaux de Petri sont développés. Dans ce mémoire, nous nous intéressons aux
réseaux de Petri haut niveau (Nested-Nets et Nets-Within-Nets) qui permettent la modélisation hiérarchique des
systèmes multi-agents dynamiques en donnant aux jetons mêmes du réseau la structure d'un réseau de Petri.
La simulation de ces réseaux est une technique d'aide à la description, l'analyse, la validation et l'évaluation de
performances de ses systèmes, mais actuellement, il n‟existe pas des outils de simulation pour le modèle NestedNets.
Donc, l‟objectif de notre travail est de présenter une transformation des réseaux de Petri « Nested Nets » vers les
réseaux de Petri « Nets Within Nets » pour lesquels il y‟a un outil de simulation appelé Renew (Reference net
workshop) [1] en se basant sur le paradigme de la transformation de graphe. Notre approche consiste à proposer
une grammaire de graphe et des règles pour la transformation entre deux formalismes différents.
La transformation est implémentée à l‟aide de l‟outil AToM3, en plus des règles de transformation et les deux
méta-modèles (les RDPs Nested Nets et les RDPs Nets Within Nets) |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7326 |
|
Affiner la rechercheUne Approche de transformation des diagrammes D’activité d’UML2.0 vers π- calculus basée sur la transformation de graphes / Said Meghzili
