Résumé. Avec les extensions d’UML 2.0, les réseaux de Petri, utilisés comme cadre sémantique formel pour les diagrammes d’activité d’UML, ne permettent plus d’exprimer les nouvelles constructions de haut niveau telles que la traverse-to-completion. Cette dernière nécessite une synchronisation globale entre les nœuds fork et join, totalement absente dans les réseaux de Petri ordinaires offrant u...