Initial markings disappearing - fix 2038418

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 mtygesen closed 11 months ago

mtygesen commented 11 months ago

Fixed issue where initial markings from non-colored nets would disappear after changes during simulation.
Fixed issue where places with zero tokens in CPN would display as "#0" instead of simply being empty