#ABCD

• ABCD cheatsheet A quick reference to the ABCD language and CLI 2018-09-26
• Model-checking with ABCD and Neco Example of modelling in ABCD and LTL model-checking with Neco 2016-01-06

#Cython

• SNAKES out of Python How to use SNAKES from another programming language 2014-12-03

#documentation

• Frequently asked questions Frequently asked questions 2017-05-22
• Using your Python code within a Petri net How to use external Python in a Petri net's annotations 2017-05-22
• Miscellaneous documentation Miscellaneous articles about SNAKES 2017-05-18
• Tutorial articles SNAKES Tutorial 2017-05-18
• Fast analysis using Neco Using Neco to analyse Petri nets 2013-03-13
• Understanding transition firing Explanation about how a transition fires in SNAKES 2013-03-01
• Arc annotations Description of the various arc annotations in SNAKES 2013-03-01
• First steps with SNAKES SNAKES tutorial with installation instructions and first steps 2013-03-01

#related

• Some tools that use SNAKES A list of known tools that use SNAKES or are related to it 2016-05-07

#first steps

• First steps with SNAKES SNAKES tutorial with installation instructions and first steps 2013-03-01

#tools

• Some tools that use SNAKES A list of known tools that use SNAKES or are related to it 2016-05-07
• Fast analysis using Neco Using Neco to analyse Petri nets 2013-03-13

#tutorial

• Using your Python code within a Petri net How to use external Python in a Petri net's annotations 2017-05-22
• Tutorial articles SNAKES Tutorial 2017-05-18
• Understanding transition firing Explanation about how a transition fires in SNAKES 2013-03-01
• Arc annotations Description of the various arc annotations in SNAKES 2013-03-01
• First steps with SNAKES SNAKES tutorial with installation instructions and first steps 2013-03-01

#conference

• SNAKES at PETRI NETS 2015 SNAKES is presented at PETRI NETS 2015, twice! 2015-06-24

#FAQ

• Frequently asked questions Frequently asked questions 2017-05-22

#time Petri nets

• Time Petri nets with SNAKES How to extend SNAKES to handle time Petri nets 2016-04-25

#presentation

• SNAKES at PETRI NETS 2015 SNAKES is presented at PETRI NETS 2015, twice! 2015-06-24

#Neco

• Model-checking with ABCD and Neco Example of modelling in ABCD and LTL model-checking with Neco 2016-01-06
• Fast analysis using Neco Using Neco to analyse Petri nets 2013-03-13

#arcs

• Arc annotations Description of the various arc annotations in SNAKES 2013-03-01

#poster

• SNAKES poster A poster to present SNAKES 2018-09-27

#modelling

• Model-checking with ABCD and Neco Example of modelling in ABCD and LTL model-checking with Neco 2016-01-06

#side-effects

• Functional Python to feed your SNAKES Some advices about side-effects in Petri nets annotations 2014-03-05

#model-checking

• Model-checking with ABCD and Neco Example of modelling in ABCD and LTL model-checking with Neco 2016-01-06

#LTL

• Model-checking with ABCD and Neco Example of modelling in ABCD and LTL model-checking with Neco 2016-01-06

#installation

• First steps with SNAKES SNAKES tutorial with installation instructions and first steps 2013-03-01

#plugin

• Time Petri nets with SNAKES How to extend SNAKES to handle time Petri nets 2016-04-25

#transition

• Understanding transition firing Explanation about how a transition fires in SNAKES 2013-03-01

#analysis

• Fast analysis using Neco Using Neco to analyse Petri nets 2013-03-13

#release

• SNAKES 0.9.18 is out SNAKES release 0.9.18 2016-06-23