Automatic Net Layout puts places and transitions on top of each other

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

Closed NicEastvillage closed 4 months ago

NicEastvillage commented 5 months ago

See title and picture below. This behaviour is observed on the main branch using the default automatic layout settings.

srba commented 4 months ago

This is now fixed in the main