"Finite Representations of CCS and TCSP Programs by Automata and Petri Nets" - читать интересную книгу автора (Dirk A. Taubner)