Na síť aplikujme algoritmus 
voláním TransformujSíť(, N, , ). Výpočet algoritmu skončí, neboť graf hierarchie systému je konečně větvící se strom o konečné hloubce a díky značení navštívených uzlů projdeme každým uzlem právě jednou. Výsledkem výpočtu je systém CCS jakožto množina definic popisujících systém (s celou hierarchií).