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)

High-level Petri Nets
Place/Transition Nets
PBC and M-nets family

Components (see also help on terminology)

Fast Simulation
State Spaces
Condensed State Spaces
Interchange File Format
Rapid Prototyping

Environments

Sun, SunOS
HP, HP-UX
Silicon Graphics, IRIX
PC, Linux
PC, MS DOS
PC, OS/2
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS
Macintosh, Mac OS X
Python

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

The maintainers of this page