Харитонов Дмитрий Иванович

Публикации в базе данных 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
5. Об одном представлении функции в модели императивной программы, заданной сетями Петри
   
   Модел. и анализ информ. систем, 18:2 (2011),  18–38
6. Раздельная верификация объектно-ориентированных программ с построением протокола С++ класса в терминах сетей Петри
   
   Модел. и анализ информ. систем, 16:1 (2009),  92–111