Programas por petrikit.sf.net

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 e