Web platform for analysis, modelling and solution of Stochastic Automata Networks (SAN) - View it on GitHub