Platform Independent Petri Net Editor

Proyecto de Plataforma Independiente Petri Editor Net (PIPE) crea y analiza Petri Nets rápida, eficiente y eficaz.
Una característica clave del diseño es el enfoque modular adoptó para el análisis, lo que permite nuevos módulos que se escriban con facilidad y con fuerza, usando métodos de capa de datos incorporadas para cálculos estándar.
Seis módulos de análisis se proporcionan, incluyendo Análisis Invariante, Espacio de Estado Análisis (estancamiento, etc.), y el análisis de simulación y Clasificación.
TUBO adhiere al estándar XML red de Petri (PNML). El formato de archivo para guardar y cargar Redes de Petri es extensible a través del uso de XSLT, siendo el valor por defecto PNML.