DEVELEPMENT D'UN OUTIL DE VERIFICATION DES RDPs ORDINAIRÉS

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).