Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

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

Семинар лаборатории ПОИС: Методы анализа реактивных распределённых систем на основе теории автоматов и сетей Петри

На очередном заседании нашего семинара выступила Лукьянова Елена Александровна, Крымский федеральный университет, доцент кафедры алгебры и функционального анализа. Тема её доклада: «Методы анализа реактивных распределённых систем на основе теории автоматов и сетей Петри»

Аннотация:

Разработаны теоретические основы построения теории и методологии моделирования и верификации параллельных распределённых систем на основе нового формализма – компонентной сети Петри