Text this: Finite representations of CCS and TCSP programs by automata and Petri nets /