- Some tools that use SNAKES
A list of known tools that use SNAKES or are related to it - Fast analysis using Neco
Using Neco to analyse Petri nets - SNAKES out of Python
How to use SNAKES from another programming language - Model-checking with ABCD and Neco
Example of modelling in ABCD and LTL model-checking with Neco - Time Petri nets with SNAKES
How to extend SNAKES to handle time Petri nets