TY - THES DP - http://www.theses.fr/2013EVRY0034 TI - Compilation de réseaux de Petri : modèles haut niveau et symétries de processus AU - Fronc, Lukasz A3 - Klaudel, Hanna; Pommereau, Franck PY - 2013 N1 - Thèse de doctorat Informatique Evry-Val d'Essonne 2013 N1 - 2013EVRY0034 UR - http://www.theses.fr/2013EVRY0034/document ER -