• Tutorial
  • FAQ
  • Articles
  • Reference
  • Blog
SNAKES
Tutorial articles
  • First steps with SNAKES
    SNAKES tutorial with installation instructions and first steps
  • Arc annotations
    Description of the various arc annotations in SNAKES
  • Understanding transition firing
    Explanation about how a transition fires in SNAKES
  • Using your Python code within a Petri net
    How to use external Python in a Petri net's annotations
  • Functional Python to feed your SNAKES
    Some advices about side-effects in Petri nets annotations

Contents

  • First steps
  • Arcs annotations
  • Transition firing
  • Using Python code
  • Avoiding side effects

Recent posts

  • 2018-09-27 SNAKES poster
  • 2018-09-26 ABCD cheatsheet
  • 2016-06-23 SNAKES 0.9.18 is out
  • 2015-06-24 SNAKES at PETRI NETS 2015
  • 2015-03-21 Another SNAKES repository
  • 2015-03-14 SNAKES moved to GitHub
  • 2014-01-27 SNAKES on PyPI

Tags

  • #ABCD
  • #analysis
  • #arcs
  • #conference
  • #Cython
  • #documentation
  • #FAQ
  • #first steps
  • #installation
  • #LTL
  • #model-checking
  • #modelling
  • #Neco
  • #plugin
  • #poster
  • #presentation
  • #related
  • #release
  • #side-effects
  • #time Petri nets
  • #tools
  • #transition
  • #tutorial

© 2024, Franck Pommereau

There are plenty of static sites generators, but this one is mine.