Places and transitions overlap using automatic layout - fix 2065156

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Places and transitions overlap using automatic layout - fix 2065156 #153

Closed mtygesen closed 4 months ago

mtygesen commented 4 months ago

Fixes: https://bugs.launchpad.net/tapaal/+bug/2065156

srba commented 4 months ago

Seems to fix the problem with the error reported model. However, I have noticed that it never terminates for BFS layout - neither the model from the bug report but not even e.g. the very small intro example. This seems to be a problem also in the main but it would be nice to have this fixed in this branch too.

srba commented 4 months ago

The problem is solved by adding JAVA_OPTS="-Xmx6144M" to the environment variables when calling TAPAAL.