@article{MAIS_2015_22_4_a8,
     author = {D. I. Kharitonov and E. A. Golenkov and G. V. Tarasov and D. V. Leontyev},
     title = {A method of sample models of program construction in terms of {Petri} nets},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {563--577},
     publisher = {mathdoc},
     volume = {22},
     number = {4},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/}
}