Семинар НУЛ ПОИС "Сравнение семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией"

Алексей Зубарев, младший научный сотрудник Лаборатории теории параллельных процессов Института систем информатики  им. А.П. Ершова СО РАН, расскажет о сравнении семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией. 

Непрерывно-временные сети Петри (НВСП) - расширение сетей Петри, позволяющее учитывать, кроме функциональных (качественных), реально-временные (количественные) свойства моделируемых систем. Каждый переход в НВСП имеет локальные часы и временной интервал его срабатывания. Для НВСП известны две временные стратегии поведения: сильная и слабая. В сильной стратегии ход времени ограничен необходимостью срабатывания переходов в заданных временных ограничениях. В слабой стратегии, напротив, ход времени произволен и не форсирует срабатывание переходов. Сильная стратегия изучается многие годы, тогда как слабая была предложена относительно недавно и мало исследована. Известно, что временные стратегии несравнимы по выразительности, и многие проблемы анализа НВСП разрешимы только в случае слабой временной стратегии. Кроме того, существуют две пространственные стратегии поведения НВСП, определяющие порядок сброса локальных часов переходов: промежуточная (учитывает промежуточное состояние при срабатывании перехода) и атомарная (рассматривает срабатывание перехода как неделимое событие). В докладе будут представлены: метод редукции пространства состояний, построение и сравнительный анализ семантических моделей и эквивалентностей в дихотомиях "интерливинг – истинный параллелизм" (степень учета частичного порядка между событиями) и "линейное – ветвящееся время" (степень учета точек недетерминированного выбора альтернативных событий) для НВСП со слабой временной и промежуточной/атомарной пространственной стратегиями.

Семинар пройдет в онлайн-режиме. Ссылка для подключения