SpanTools 1.0
SpanTools merupakan aplikasi open source yang dapat memeriksa dan menentukan sistem, yang dinyatakan sebagai jaringan item dengan transisi dan negara.. SpanTools mampu mengevaluasi Cospan (Monoidal Grafik) ekspresi, serta untuk menghitung grafik monoidal...