|
СЕМИНАРЫ |
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
|
|||
|
Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией А. Ю. Зубарев |
|||
Аннотация: Непрерывно-временные сети Петри — это расширение сетей Петри, в которых каждому переходу ставятся в соответствие временной интервал его срабатывания и локальные часы. Данная модель позволяет учитывать как функциональные (качественные), так и реально-временные (количественные) свойства моделируемых систем. Рассматриваются непрерывно-временные сети Петри со слабой временной стратегией, где ход модельного времени не форсирует срабатывания сетевых переходов. Для данной модели и ее модификаций разрабатываются и исследуются семантические представления и поведенческие эквивалентности в дихотомиях «интерливинг-частичный порядок» и «линейное-ветвящееся время». Кроме того, в контексте «слабых» непрерывно-временных сетей Петри предлагается метод редукции пространства состояний за счёт их дискретизации. Запись выступления доступна по ссылке https://youtu.be/l_seDU1S2Cc, слайды презентации - по ссылке https://persons.iis.nsk.su/files/persons/pages/zubarev20mar24.pdf. Website: https://persons.iis.nsk.su/en/STEP-2024 |