Anytime i want to perform token game or transient simulation or stationary simulation and generate graphs in result monitor it always hang, plss i need solution?
For tokengame, analysis or coverability graph generation of Petri Nets I use the WoPeD tool (http://woped.dhbw-karlsruhe.de/woped/). I works quite stable and so far I have no problems with it.