SNAKES

Overview

Entry last updated: 2007/6/25
Entry last validated: 2007/6/25

Tool homepage: http://www.univ-paris12.fr/lacl/pommereau/soft/snakes

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

SNAKES is the Net Algebra Kit for Editors and Simulators. It is a Python library that provides all then necessary to define and execute many sorts of Petri nets, in particular those of the Petri Box Calculus and M-nets family. Its main aim is to be a general Petri net library, being able to define and execute most Petri nets models, and providing the researcher with a tool to quickly prototype its new ideas. SNAKES should be also suitable to provide the data model for editors or simulators.

A key feature of SNAKES is the ability to use arbitrary Python objects as tokens and arbitrary Python expressions in many points, hence its wide generality. Another important feature of SNAKES is a plugin system that allows to extend the library and work with specialised classes of Petri nets.

Contact Information

Franck Pommereau
LACL, University of Paris 12
61 avenue du gČnČral de Gaulle
94010 CrČteil
France

Phone:  33+145176600
Fax:    33+145176601
E-mail: pommereau@univ-paris12.fr

Other Remarks


[PN Home][*]
The maintainers of this page