Un Environnement graphique pour l'analyse des réseaux de Petri temporels
No Thumbnail Available
Date
2021
Journal Title
Journal ISSN
Volume Title
Publisher
Université de Larbi Ben M’hidi-Oum Oum El Bouaghi
Abstract
Les Réseaux de Petri (RdP) constituent une famille de formalismes mathématiquement fondes, ils intègrent un fort potentiel pour la modélisation des systemes dans lesquels interviennent les problèmes de concurrences, de synchronisation, de partage de ressources et de parallélisme.
Ils s'appuient sur un support mathématique très élabore permettant d'effectuer une analyse formelle des différentes propriétés comportementales et structurelles. Néanmoins, les RdP ordinaires montrent des insuffisances critiques quand les systemes à modéliser sont très complexes, larges et exhibant des caractéristiques temporelles ou aléatoires.
?tendre les RdP avec le temps permet de décrire adéquatement les aspects temporels d'un système dans le modèle. Les réseaux étendus par des contraintes de temps sont appelés RdP temporels (RdPT).
Cette classe de RdP est très utilisée dans la modélisation et l'analyse des systemes temps réel ou l'importance du traitement du temps est très importante et souvent critique. En outre, ce formalisme bénéficie d'une boite à outil de simulation et de vérification très puissante à savoir : TINA (TIme petri Net Analyzer).
Dans ce contexte, Notre projet consiste à réaliser un environnement graphique, sous la forme d'un plugin Eclipse, pour les RdPT.
Les principaux objectifs de tel environnement sont :
(1) Créer et éditer les modèles de RdPT
(2) Générer (en utilisant les techniques MDA) un fichier texte respectant le format d'entrée des outils d'analyse TINA, correspond au RdPT édité
(3) Simuler et vérifier les RdPT obtenus.
Description
Keywords
Réseau de Petri temporal (Time Petri Net), Architecture dirigée par les modèles