Nuevo Software Para Filippo Schiavio

SpanTools es una aplicación de código abierto que se puede comprobar y definir los sistemas, que se expresan como redes de artículos con transiciones y estados.. SpanTools es capaz de evaluar Cospan (monoidal gráfico) expresiones, así como para calcular...