I'm not really up to speed on Petri Nets, but from what little I know I think that POE would be a good fit for the implementation of the state-machine/graph traversal stuff. Worth looking at anyway.