Email Record: Finite representations of CCS and TCSP programs by automata and Petri nets /