Skip to main content

SNAKES is the Net Algebra Kit for Editors and Simulators

Project description

SNAKES is a Python library that provides all the necessary to define and execute many sorts of Petri nets, in particular algebras of Petri nets. SNAKES’ main aim is to be a general Petri net library, being able to cope with most Petri nets models, and providing the researcher with a tool to quickly prototype new ideas.

A key feature of SNAKES is the ability to use arbitrary Python objects as tokens and arbitrary Python expressions in many points, for instance in transitions guards or arcs outgoing of transitions. This provides out of the box a great flexibility.

Another important feature of SNAKES is the plugin system that allows to extend the features, for instance to work with specialised classes of Petri nets (e.g., plugins are provided to draw nets, or to compose them using the various control-flows operations). Plugins are another way to introduce flexibility but requiring some involvement.

Next step to use SNAKES should be to read the tutorial that describes installation and first steps.

Project details


Release history Release notifications

History Node

0.9.25

History Node

0.9.24

History Node

0.9.23

History Node

0.9.22

History Node

0.9.21

History Node

0.9.20

History Node

0.9.19

History Node

0.9.18

This version
History Node

0.9.17

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Filename, size & hash SHA256 hash help File type Python version Upload date
SNAKES-0.9.17.linux-x86_64.tar.gz (561.2 kB) Copy SHA256 hash SHA256 Dumb Binary any Jul 7, 2014
SNAKES-0.9.17.tar.gz (574.9 kB) Copy SHA256 hash SHA256 Source None Jan 27, 2014

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page