Automaton
Finite state automata.
Expr
Expressions.
Graph
Graphs.
Input
Translations of strings to expressions and equations.
Main
Command line executable file.
Net
Labelled Petri Nets.
Output
Output functions.
Tools
General tool box for the project.
UnionFind
This module offers a purely functional implementation of Tarjan's data structure for solving the union-find problem.
Wmain
Javascript executable file.
Word
Converting a series of transitions into a series-parallel term, and printing it.
Woutput
Drawing graphs using vis.js .