TY - THES DP - http://www.theses.fr/1994PA066472 TI - Une approche modulaire intégrant les réseaux de Pétri colorés pour la spécification de systèmes distribués AU - Bachatène, Haféda A3 - Estraillier, Pascal PY - 1994 SP - VII-279 p. N1 - Thèse de doctorat Informatique Paris 6 1994 N1 - 1994PA066472 ER -