Lukasz Fronc: Compilation de réseaux de Petri : modèles haut niveau et symétries de processus. (Compilation of Petri nets : high-level models and process symmetries). University of Évry Val d'Essonne, France 2013