Dilawar Singh Being Dilawar/ Tools/

It looks promising and cool. Snakes is a Python library for working with Petri-nets. I am playing around with it so can’t say much about it right now. Here is some blogs about it by its author. It is hosted on google-code. A long list of petri-nets related tools is available here. Some of them are no longer active or dead or both.