Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets