SNAKES library is organised into three parts:

• the core library is package snakes and its modules, among which snakes.nets is the one to work with Petri nets while the others can be seen as auxiliary modules
• the plugin system and the plugins themselves reside into package snakes.plugins
• auxiliary tools are kept into other sub-packages: snakes.lang for all the material related to parsing Python and other languages, snakes.utils for various utilities like the ABCD compiler

• Author: Franck Pommereau
• Organization: University of Evry/Paris-Saclay
• Contact: franck.pommereau@ibisc.univ-evry.fr
• Copyright: (C) 2005-2013 Franck Pommereau
• License: GNU Lesser General Public Licence (aka. GNU LGPL), see the file doc/COPYING in the distribution or visit the GNU web site

Module snakes

This module only provides the exceptions used throughout SNAKES.

Class SnakesError

class SnakesError (Exception) :

Generic error in SNAKES

Class ConstraintError

class ConstraintError (SnakesError) :

Violation of a constraint

Class NodeError

class NodeError (SnakesError) :

Error related to a place or a transition

Class DomainError

class DomainError (SnakesError) :

Function applied out of its domain

Class ModeError

class ModeError (SnakesError) :

The modes of a transition cannot be found

Class PluginError

class PluginError (SnakesError) :

Error when adding a plugin

Class UnificationError

class UnificationError (SnakesError) :

Error while unifying parameters