%0 Journal Article
%A L. W. Dworzánski
%A I. A. Lomazova
%T CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 115-130
%V 19
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a10/
%G ru
%F MAIS_2012_19_5_a10