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

Мероприятия

Семинар ПОИС: Простые алгоритмы анализа сетей Петри. Докладчик — Владимир Захаров

Мероприятие завершено

На очередном заседании нашего семинара выступит ведущий научный сотрудник лаборатории Владимир Захаров. Тема его доклада: «Простые алгоритмы анализа сетей Петри»

Место проведения: ауд. 503 в здании ФКН НИУ ВШЭ (Кочновский пр., 3)
Приглашаем всех заинтересованных!

В том случае, если не заботиться об оптимальности алгоритмов, решение некоторых задач анализа поведения сетей Петри (проблемы достижимости, покрытия, ограниченности и др.) может быть получено соответствии с некоторой простой и единообразной схемой. Об этой схеме рассказывается в статье "Recent and Simple Algorithms For Petri Nets" (Alain Finkel and Jerome Leroux) Software & Systems Modeling, May 2015, Volume 14, Issue 2, pp 719–725. Реферат этой статьи будет представлен на семинаре.