Spantools

Filippo Schiavio's programs for calculating behaviours of systems described by expressions in Span(Graph), with a graphical output, is now available at  https://sourceforge.net/projects/spantool.
For some explanation of the program see also my slides of the lecture at ICTCS 2012.