Séquences de synchronisation sur les réseaux de Petri