SNAKES is the Net Algebra Kit for Editors and
Simulators. It is a Python library that provides
all that is necessary to define and execute many
sorts of Petri nets, in particular those of the
PBC and M-nets family. Its main aims are 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.