Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией

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