|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
Д. В. Леонтьев, Д. И. Харитонов, “Построение сокращенного дерева достижимости для моделей программ в терминах сетей Петри”, Системы и средства информ., 32:2 (2022), 23–35 |
|
2018 |
2. |
Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев, “Программная реализация метода генерации сетей Петри большого размера”, Системы и средства информ., 28:2 (2018), 99–115 |
|
2016 |
3. |
Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев, Р. В. Парахин, В. В. Грибова, “Текущее состояние и перспективы развития центра коллективного пользования «Дальневосточный Вычислительный Ресурс»”, Программные системы: теория и приложения, 7:4 (2016), 197–208 |
1
|
|
2015 |
4. |
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”, Модел. и анализ информ. систем, 22:4 (2015), 563–577 |
4
|
|