%0 Journal Article %A D. I. Kharitonov %A E. A. Golenkov %A G. V. Tarasov %A D. V. Leontyev %T A method of sample models of program construction in terms of Petri nets %J Modelirovanie i analiz informacionnyh sistem %D 2015 %P 563-577 %V 22 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/ %G en %F MAIS_2015_22_4_a8