Herramientas CPN

CPN Tools es una herramienta para editar, simular y analizar redes de Petri de alto nivel . Admite redes de Petri básicas, redes de Petri temporizadas y redes de Petri coloreadas . Incluye un simulador y una herramienta de análisis de espacio de estados.

CPN Tools fue desarrollado originalmente por el Grupo CPN de la Universidad de Aarhus entre 2000 y 2010. Los principales arquitectos de la herramienta fueron Kurt Jensen , Søren Christensen, Lars M. Kristensen y Michael Westergaard. A partir del otoño de 2010, CPN Tools pasó a formar parte del grupo AIS de la Universidad Tecnológica de Eindhoven , en los Países Bajos.

CPN Tools consta de dos componentes principales: un editor gráfico y un simulador de backend. El editor gráfico está escrito en el lenguaje académico BETA , y el backend del simulador está escrito en la variante de Standard ML, SML/NJ .

Aproximadamente en 2010, el mantenimiento de CPN Tools cesó y se transfirió a su proyecto sucesor, CPN IDE . ^{[ 1 ]}

• cpntools.org Herramientas CPN
• cpnide.org IDE de CPN