SNAKES is the Net Algebra Kit for Editors and Simulators - View it on GitHub