TY - THES DP - http://www.theses.fr/2009COMP1853 TI - Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière AU - Bouali, Mohamed A3 - Barger, Pavol; Schön, Walter PY - 2009 SP - 1 vol. (156 p.) N1 - Thèse de doctorat Technologies de l'information et des systèmes Compiègne 2009 N1 - 2009COMP1853 ER -