TY - THES DP - http://www.theses.fr/2004ECLI0003 TI - Techniques d'abstraction pour l'analyse et la synthèse de réseaux de Petri AU - Bourdeaud'huy, Thomas A3 - Yim, Pascal; Hanafi, Saïd PY - 2004 SP - 1 vol. (XVI-271 p.) N1 - Thèse de doctorat Informatique industrielle et automatique Ecole Centrale de Lille 2004 N1 - Thèse de doctorat Informatique industrielle et automatique Lille, Université des Sciences et technologies de Lille 2004 N1 - 2004ECLI0003 ER -