• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «студенты»

Семинар лаборатории ПОИС: стажеры Антонина Бегичева и Наталья Никитина

В рамках научного семинара лаборатории ПОИС состоялись выступления стажеров-исследователей лаборатории.
Антонина Бегичева: Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри. Наталья Никитина: Алгоритмы размещения сетей Петри на плоскости.