reZubarev20mar24

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