Browsing by Author "BOUSSADIA, Samir"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Open Access DEVELEPMENT D'UN OUTIL DE VERIFICATION DES RDPs ORDINAIRÉS(University of M'sila, 2012-06-10) BOUSSADIA, Samir; Rapporteur: MELIOUH, A.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).