DEVELEPMENT D'UN OUTIL DE VERIFICATION DES RDPs ORDINAIRÉS
| dc.contributor.author | BOUSSADIA, Samir | |
| dc.contributor.author | Rapporteur: MELIOUH, A. | |
| dc.date.accessioned | 2023-05-18T09:21:52Z | |
| dc.date.available | 2023-05-18T09:21:52Z | |
| dc.date.issued | 2012-06-10 | |
| dc.description.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). | en_US |
| dc.identifier.uri | https://repository.univ-msila.dz/handle/123456789/38221 | |
| dc.language.iso | fr | en_US |
| dc.publisher | University of M'sila | en_US |
| dc.subject | RDPs ordinaires, méta-modélisation, grammaire de transformation, génération de code, ATOM3, INA. | en_US |
| dc.title | DEVELEPMENT D'UN OUTIL DE VERIFICATION DES RDPs ORDINAIRÉS | en_US |
| dc.type | Thesis | en_US |