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

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