TY - JOUR AU - D. I. Kharitonov AU - E. A. Golenkov AU - G. V. Tarasov AU - D. V. Leontyev TI - A method of sample models of program construction in terms of Petri nets JO - Modelirovanie i analiz informacionnyh sistem PY - 2015 SP - 563 EP - 577 VL - 22 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/ LA - en ID - MAIS_2015_22_4_a8 ER -