SpanTools

SpanTools 1.0

SpanTools er et open source program som kan kontrollere og definere systemer, som uttrykkes som nettverk av elementer med overganger og stater.. SpanTools er i stand til å vurdere Cospan (Monoidal graf) uttrykk, samt å beregne monoidal grafen til et...

Les mer