Rémi Parrot: Réseaux de Petri temporisés pour la synthèse de circuits pipelinés. (Timed Petri nets for the synthesis of pipelined circuits). École centrale de Nantes, France 2022