Token minimization 2020590

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

Token minimization 2020590 #82

Closed LenaSaid closed 1 year ago

LenaSaid commented 1 year ago

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

srba commented 1 year ago

Also, if you unfold the net, it says that the net is not colored anymore (correctly) but when you make a query, it will allow you to select "colored reductions" in the advanced query options. This should be only possible for colored net and not for P/T nets.