Inhibitor arcs do not make the net colored anymore (fixes workflow analysis but 2035728)

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

Inhibitor arcs do not make the net colored anymore (fixes workflow analysis but 2035728) #103

Closed srba closed 1 year ago

srba commented 1 year ago

Fix for bug https://bugs.launchpad.net/tapaal/+bug/2035728 where two or more inhibitor arcs made the net colored and made workflow analysis to fail. Inhibitor arcs added the same color type to values multiple times so now we count only the unique color types.