Инструменты CPN

CPN Tools высокого уровня — инструмент для редактирования, моделирования и анализа сетей Петри . Он поддерживает базовые сети Петри, а также временные сети Петри и цветные сети Петри . Он имеет симулятор и инструмент анализа пространства состояний.

CPN Tools изначально разрабатывался группой CPN в Орхусском университете с 2000 по 2010 год. Основными разработчиками этого инструмента являются Курт Йенсен , Сорен Кристенсен, Ларс М. Кристенсен и Майкл Вестергаард. С осени 2010 года CPN Tools передается группе AIS Технологического университета Эйндховена , Нидерланды.

CPN Tools состоит из двух основных компонентов: графического редактора и компонента внутреннего симулятора. Графический редактор написан на академическом языке BETA , а серверная часть симулятора — на ML стандартном варианте SML/NJ .

Примерно в 2010 году обслуживание CPN Tools было прекращено и было передано его проекту-преемнику, CPN IDE . ^[1]

Ссылки

^ Эрик Вербек, Дирк Фахланд. «CPN IDE: расширяемая замена CPN Tools, использующая Access/CPN» . МКФМ 2021 . Проверено 06 марта 2024 г.

Внешние ссылки

cpntools.org Инструменты CPN
cpnide.org CPN IDE

Эта о программном обеспечении для моделирования статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] Эрик Вербек, Дирк Фахланд. «CPN IDE: расширяемая замена CPN Tools, использующая Access/CPN» . МКФМ 2021 . Проверено 06 марта 2024 г.

[1]