For citations:
Kharitonov D.I., Golenkov E.A., Tarasov G.V., Leontyev D.V. A Method of Sample Models of Program Construction in Terms of Petri Nets. Modeling and Analysis of Information Systems. 2015;22(4):563-577. (In Russ.) https://doi.org/10.18255/1818-1015-2015-4-563-577