%0 Journal Article
%A G. V. Tarasov
%A D. I. Kharitonov
%A E. A. Golenkov
%T On a function representation in an imperative program model specified by Petri nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 18-38
%V 18
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_2_a1/
%G ru
%F MAIS_2011_18_2_a1