|
|
|
Publications in Math-Net.Ru |
Citations |
|
2015 |
| 1. |
D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev, “A method of sample models of program construction in terms of Petri nets”, Model. Anal. Inform. Sist., 22:4 (2015), 563–577    |
4
|
|
2011 |
| 2. |
G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov, “On a function representation in an imperative program model specified by Petri nets”, Model. Anal. Inform. Sist., 18:2 (2011), 18–38 |
1
|
|
2005 |
| 3. |
E. A. Golenkov, A. S. Sokolov, “A method of automatic constructing a model of a parallel program in terms of Petri nets”, Num. Meth. Prog., 6:2 (2005), 77–82 |
2
|
|
| Organisations |
|
|
