En collaboration avec B. Gaujal (SLOOP), F. Baccelli et S. Foss ont continué le travail initialisé sur les réseaux à choix libre. La condition de vivacité de ces réseaux (théorèmes de Commoner) a été établie directement à partir du formalisme algébrique. L'article de synthèse préparé sur ce sujet a été accepté pour publication dans IEEE Tr. Aut. Control. Par ailleurs, les techniques de simulation parallèle mises en oeuvre pour les graphes d'événements ont pu être étendues aux réseaux à choix libre dans [12].