CPN Tools - это инструмент для редактирования, моделирования и анализа высокоуровневых сетей Петри . Он поддерживает основные сети Петри, а также сети Петри с таймером и цветные сети Петри . Он имеет симулятор и инструмент анализа пространства состояний.
CPN Tools изначально разрабатывалась CPN Group в Орхусском университете с 2000 по 2010 год. Основными разработчиками этого инструмента являются Курт Йенсен , Сорен Кристенсен, Ларс М. Кристенсен и Майкл Вестергаард. С осени 2010 года CPN Tools передается группе AIS Технологического университета Эйндховена , Нидерланды.
CPN Tools состоит из двух основных компонентов: графического редактора и имитатора серверной части. Графический редактор написан на академическом языке BETA , а серверная часть симулятора написана на стандартном варианте машинного обучения SML / NJ .
Внешние ссылки
- cpntools.org Инструменты CPN