CPN Tools es una herramienta para editar,simular y analizar Redes de Petri que se puede utilizar para especificar y diseñar sistenas de comunicaciones. La herramienta cuenta con verificación incremental de sintaxis y generación de código, que tiene lugar mientras se construye una red. El simulador maneja eficientemente redes de Petri con y sin atributos de tiempo. Se pueden generar y analizar espacios de estado completos y parciales. Por último, se pueden generar informe de la evolucion del sistema individualizado por lugares, asi como estadisticas de la evolucion del sistema y de las transiciones disparadas.

La herramienta CPN Tools se puede descargar de CPN Tools Studio downloads

Documentación acerca de CPN la podemos encontrar en: Manual Referencia SDL

Ejemplos Especificación Redes Comunicaciones con CPN: Redes CPN

Ejemplos Declaracione en CPN: Declaraciones CPN

Videos de Ejemplo de Funcionamiento de la Herramienta CPN los podemos encontrar en: VIdeos CPN

Código Fuente SDL basado en la Herramienta PragmaDev Studio lo podemos encontrar en: Código Fuente CPN