Enabled approximation for CPNs

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

Enabled approximation for CPNs #143

Closed mtygesen closed 4 months ago

mtygesen commented 6 months ago

Enables: https://bugs.launchpad.net/tapaal/+bug/2057970

srba commented 5 months ago

The following verification of query "Error" gives a trace that cannot be executed - probably has not been transformed to the original net?

error-approximation-trace.tapn.zip

srba commented 4 months ago

Does not work with raw verification options. To reproduce, open cpn-packet, open the query, select overapproximation and select "Use" of raw options, and you get NPE.