Dmitri M. Beloglazov, Mikhail Mashukov, V. A. Nepomnyashchiy. Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets. Automatic Control and Computer Sciences, 46(7):387-393, 2012. [doi]
Abstract is missing.