Nejprve navrhneme algoritmus převodu libovolného dobře definovaného systému GCCS na systém definic CCS, přičemž vyjdeme z principů transformace popsané v []. Poté dokážeme sémantickou korektnost této transformace. Algoritmus rozdělíme ve smyslu definice termů GCCS na algoritmus transformace procesu a algoritmus transformace sítě.