spntools Stochastic Petri net tools including: Calculation of the reachability graph that includes vanishing markings. pnml (an XML format) read and write