| PetrA - Download |
PetrA (Petri Nets Application) permite trabajar con redes de Petri como documentos, se puede tener abiertas diferentes redes de Petri simultáneamente, para editar, ejecutar, o imprimir.
PetrA trabaja con el sistema operativo Mac OS X, con una versión posterior a la 10.2.8. El código fuentes estará disponible una vez que se corrijan los primeros errores que se detecten y se termine la documentación técnica correspondiente. Sin embargo, si alguien lo requiere es posible facilitarlo.