Which is the best Petri Net tool avialable?
It should work in MS windows environment, should have Place/Transition Nets, Graphical editor and interchange file format (PNML).