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

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