Bonjour,
Tout nouveau sur le forum,*
Je suis étudiant en Master 2 et j'ai pour projets* transformation diagramme d'activité vers* réseau pétri t temporellement temporisé* ***Eclipse modeling framework et GMF****besion*votre l' aide pour faire cette transformation et comment faire les règles de transformation et la vérification * .*
merci* *