Conception et réalisation d’un éditeur graphique de réseau de pétri

Abstract

La modélisation et la simulation des systèmes jouent un rôle crucial dans divers domaine comme la médecine, génie mécanique, informatique etc. Divers formalisme dédiée pour effectuer une telle simulation, nous pouvons citer langage B, langage Z, UML et réseau de pétri. Derrière chaque formalisme les industries et les organismes académique développe des outils de simulation graphique pour facilite la modélisation graphique, l’analyse, la vérification et la génération de code. Ces outils de simulation sont souvent présenté comme une entité obscure avec sans détail d’implémentation et mise en œuvre comme TINA, Project, Canva etc..., Dans ce cas il est difficile d’éditer, étudier et modifier le code source de ces outils commerciaux. Dans ce travail nous somme intéressées de l’outil de modélisation RdP qui’ est puisant dans le domaine de la modélisation et de la vérification des systèmes Notre objectif dans ce mémoire est de proposer un outil open source et académique pour le l’aide de modélisation graphique RdP. Cet outil sera utiliser et enrichie par les autre étudiants a chaque année. Pour atteindre cet objectif nous avons analysé le domaine, modéliser le domaine et proposer un outil prototype