Transformation des diagrammes d'activités SysML1.2 vers les réseaux de Petri dans un cadre MDE