Тестовые эквивалентности с обратимостью для временных сетей Петри

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