CPN Tools - CPN Tools

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

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

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

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