Леонтьев Денис Васильевич

Публикации в базе данных Math-Net.Ru

1. Построение сокращенного дерева достижимости для моделей программ в терминах сетей Петри
   
   Системы и средства информ., 32:2 (2022),  23–35
2. Программная реализация метода генерации сетей Петри большого размера
   
   Системы и средства информ., 28:2 (2018),  99–115
3. Текущее состояние и перспективы развития центра коллективного пользования «Дальневосточный Вычислительный Ресурс»
   
   Программные системы: теория и приложения, 7:4 (2016),  197–208
4. A method of sample models of program construction in terms of Petri nets
   
   Модел. и анализ информ. систем, 22:4 (2015),  563–577