КПН-АМИ
Эта статья нуждается в дополнительных цитатах для проверки . ( сентябрь 2023 г. ) |
CPN-AMI — это среда автоматизированной разработки программного обеспечения, основанная на спецификациях Petri Net . [ 1 ] Он предоставляет возможность определять поведение распределенной системы и оценивать такие свойства, как инварианты (сохранение ресурсов), отсутствие взаимоблокировок , живучесть или свойства темпоральной логики (отношения между событиями в системе).
CPN-AMI опирается на AMI-сети, которые представляют собой правильно сформированные сети Петри с синтаксическими возможностями. Хорошо сформированные сети Петри были совместно разработаны Парижским университетом 6 (Université P. & M. Curie) и Туринским университетом в начале 1990-х годов. Этот класс сети Петри поддерживает символьные методы проверки модели и, таким образом, обеспечивает очень сжатый способ хранения всех состояний системы.
С 2016 года CPN-AMI числится владельцами как «все еще доступный, но больше не поддерживаемый» ( Lib6/MoVe Software на Wayback Machine (архивировано 5 мая 2016 г.)).
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Алст, Виль ван дер; Бест, Эйке (4 сентября 2007 г.). Приложения и теория сетей Петри 2003: 24-я Международная конференция, ICATPN 2003, Эйндховен, Нидерланды, 23-27 июня 2003 г., Материалы . Springer Science & Business Media. ISBN 978-3-540-44919-5 .
Внешние ссылки
[ редактировать ]