-D. Taubner: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, Springer-Verlag 1989