SpanTools

SpanTools 1.0

SpanTools is een open source applicatie die kan controleren en bepalen systemen, die worden uitgedrukt als netwerken van items met overgangen en staten.. SpanTools is in staat om Cospan (monoïdale Graph) uitdrukkingen te evalueren, evenals de monoïdale...

Lees meer