SpanTools was specially developed as an accessible application that manages to offer functionalities that can help you define and check systems.
SpanTools can evaluate expressions in Cospan(Monoidal Graph) and calculates the monoidal graph related to the given expression.
The software is developed in Java and can run on multiple platforms.
Here are some key features of "SpanTools":
· Calculation of monoidal graph related to given expressions in Span(Graph).
· Generation of a random path (example of execution) finding elements in the limit of monoidal graph calculated from expression
· Generation of diagrams representing graph and monoidal graph