Ce projet vise à analyser et à réduire les réseaux d'automates synchronisés selon une topologie d'arborescence. Il préserve la portée de la synchronisation tout en ne la garantissant pas pour la sécurité. Le projet a été étendu à des topologies d'arborescence d'automates de toute sorte et a été expérimenté.