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

Colored structural reduction 1987636 #40

Closed LenaSaid closed 2 years ago

LenaSaid commented 2 years ago

Added colored structural reduction option to the advanced options for colored, non-game, untimed nets.

Solves https://bugs.launchpad.net/tapaal/+bug/1987636.

LenaSaid commented 2 years ago

Please, enable the colored structural reductions be default.

Please, swap the siphon-trap with the colored reductions.

If the net is "game" the colored reductions should be grayed out (as the normal reductions are too).

Please, rename "Apply net reductions" -> "Use net reductions" and write "Use colored net reductions" for the newly added feature.

Should be fixed now

LenaSaid commented 2 years ago

Tested and works fine but please disable trace abstraction refinement in case the net is a game.

Should be disabled now