חינם תוכנה עבור Filippo Schiavio
SpanTools הוא יישום קוד פתוח שיכול לבדוק ולהגדיר מערכות, אשר באים לידי ביטוי כרשתות של פריטים עם מעברים ומדינות.. SpanTools מסוגל להעריך ביטויי Cospan (Monoidal גרף), כמו גם על מנת לחשב את גרף monoidal של ביטוי דרישות : Java 2 Standard Edition...