SpanTools 1.0
SpanTools ay isang open source application na maaaring suriin at tukuyin ang mga sistema, na ipinahiwatig bilang mga network ng mga item na may mga transition at estado.. SpanTools ay magagawang mapag-aralan Cospan (Monoidal Graph) expression, pati na rin...