Séquentialisation du comportement de réseaux de Petri temporisés