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.