UI bugs for SMC transitions

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 tand00 closed 3 weeks ago

tand00 commented 3 weeks ago

Fixed some small bugs regarding stochastic transitions :

Urgent prevent editing weight/firing mode
Color guards prevent displaying stochastic informations
Unified infinite weight exporting/parsing to "inf" regarding https://bugs.launchpad.net/tapaal/+bug/2081687
Changed firing mode of examples to "Random" so it is not displayed in the canvas