Transformation des diagrammes d'activités SysML1.2 vers les réseaux de Petri dans un cadre MDE
type: Dataset
description: Rapport de stage
issued: 2026-06-02T06:32:23.222895
language: fr
modified: 2026-06-02T06:32:23.222903
contact point: Organization
  fn: CCSD
keyword: atl
keyword: automatisation
keyword: idm
keyword: infoeu-reposemanticsother
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: infoinfo-mocomputer-science-csmodeling-and-simulation
keyword: ltl
keyword: mda
keyword: mde
keyword: modelisation
keyword: other-publications
keyword: transformation
keyword: validation
keyword: verification
landing page: https://hal.science/hal-00761053

Transformation des diagrammes d'activités SysML1.2 vers les réseaux de Petri dans un cadre MDE
type: Distribution
format: HTML
issued: 2026-06-02T06:32:23.350813
modified: 2026-06-02T06:32:23.165742
access URL: https://hal.science/hal-00761053

test_moissonnage_selune
type: Agent