PetriKit es un kit de herramientas modular para el análisis de Petri Net. Permite la extracción de propiedades básicas, extracción de invariantes y generación de gráficos de accesibilidad. Los resultados se pueden formatear en archivos de texto sin formato, HTML o XML.
historial de versiones
- Versión 1.0 publicado en 2008-01-17
Varias correcciones y actualizaciones - Versión 1.0 publicado en 2008-01-17
Detalles del programa
- Categoría: Educación > Otro
- Editor: petrikit.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 1.0
- Plataforma: windows