search

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

Extreme decreasing in node space is broken - fix 1870892 #163

Closed mtygesen closed 1 month ago

mtygesen commented 1 month ago

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

by adding a minimum distance between nodes of 45

Additionally also fixes warping of nets that include arc points other than start and end

srba commented 1 month ago

This works fine now, however, if the arc point is too close to the node or transition, it really limits the scaling as it will stop very soon. Perhaps instead of limiting, one could just make sure that it stays at least at the minimum distance but allow the other objects still scale?