DEVELEPMENT D'UN OUTIL DE VERIFICATION DES RDPs ORDINAIRÉS
Loading...
Date
2012-06-10
Journal Title
Journal ISSN
Volume Title
Publisher
University of M'sila
Abstract
Ce travail consiste développer un outil de modélisation pour les réseaux de Pétri ordinaires et de génération de leur spécification INA( Integrated Net Analyzer).Ce développement se base sur une opération de méta-modélisation et de génération de code réalisée par une grammaire de transformation. Ces techniques sont offertes par l'outil A TOM3 (A Toolfor Multi-formalism and Meta-Modeling).
Description
Keywords
RDPs ordinaires, méta-modélisation, grammaire de transformation, génération de code, ATOM3, INA.