CPN-AMI - CPN-AMI

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

CPN-AMI полагается на AMI-Nets, которые хорошо сформированы. Сети Петри с синтаксическими средствами. Хорошо сформированные сети Петри были разработаны совместно Парижский университет 6 (Université P. & M. Curie) и Университет Турина в начале 1990-х гг. Этот класс сети Петри поддерживает символические методы для проверка модели, и, таким образом, обеспечивает очень сжатый способ хранения всех состояний системы.

С 2016 года CPN-AMI был внесен в список владельцев как «все еще доступный, но уже не обслуживаемый» (Программное обеспечение Lib6 / MoVe на Wayback Machine (архивировано 5 мая 2016 г.)).

Смотрите также

внешняя ссылка