Основные темы научной работы |
сети Петри, UML, исследование пространства состояний |
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2015 |
1. |
А. В. Марков, А. А. Воевода, “Вложенные сети Петри и нагруженные метки: распределенная система и рекурсия”, Вестн. Астрахан. гос. техн. ун-та. Сер. управление, вычисл. техн. информ., 2015, № 2, 23–31 |
|
2014 |
2. |
А. А. Воевода, А. В. Марков, Д. О. Романников, “Разработка программного обеспечения: проектирование с использованием UML диаграмм и сетей Петри на примере АСУ ТП водонапорной станции”, Тр. СПИИРАН, 34 (2014), 218–231 |
|