%0 Journal Article
%A S. A. Chernenok
%A V. A. Nepomniaschy
%T Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 94-106
%V 21
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a8/
%G ru
%F MAIS_2014_21_6_a8