search

TAPAAL / verifydtapn

Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals.
https://www.tapaal.net
3 stars 7 forks source link

ERROR: Zero color constituents #35

Closed srba closed 1 year ago

srba commented 1 year ago

When you run the following, the engine returns: ERROR: Zero color constituents error-model-query.zip

verifydtapn --k-bound 10 --trace 0 --search-strategy default --verification-method 0 --memory-optimization 0 model.xml query.xml

srba commented 1 year ago

Here is the file that can be opened in the cpn GUI branch.

token-ring-timed.tapn.zip