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