SpanTools 1.0
SpanTools yra atviro kodo programa, kuri gali patikrinti ir nustatyti sistemas, kurios yra išreikštos tinklų elementus su perėjimais ir valstybių.. SpanTools sugeba įvertinti Cospan (Monoidal diagramą) išraiškas, taip pat apskaičiuoti monoidal grafikas...