Зайцев Дмитрий Анатольевич

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

1. Парадигма вычислений на сетях Петри
   
   Автомат. и телемех., 2014, № 8,  19–36
2. Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри
   
   Модел. и анализ информ. систем, 19:6 (2012),  21–33
3. Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова
   
   Модел. и анализ информ. систем, 18:4 (2011),  80–93