SNAKES 0.9 (Main branch)
...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. License: GNU Lesser General Public License (LGPL) Changes
PNML is now fully supported (import and export)....
