@article{MAIS_2011_18_4_a12,
     author = {D. M. Beloglazov and M. Yu. Mashukov and V. A. Nepomnyashchii},
     title = {Verification of telecommunication systems specified by communicating finite automata with the help of coloured {Petri} nets},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {144--156},
     publisher = {mathdoc},
     volume = {18},
     number = {4},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a12/}
}