UML et réseaux de Petri