directed_reachability_benchmarks.zip (82.31 MB)
Download file

Benchmark Instances for Reachability and Coverability in Petri Nets

Download (82.31 MB)
dataset
posted on 05.03.2021, 07:49 by Michael Blondin, Christoph Haase, Philip OfftermattPhilip Offtermatt
This data set contains a set of benchmark instances for Petri net reachability and coverability, which were used to evaluate the TACAS'21 submission "Directed Reachability for Infinite-State Systems" (preprint available online (https://arxiv.org/abs/2010.07912)).

This data set is published in order to allow authors of other tools for reachability in Petri nets to easily obtain a large set of benchmark instances, in particular including many reachability instances.

See the enclosed readme for additional details.

Funding

Advanced Reasoning in Arithmetic Theories

European Research Council

Find out more...

Natural Sciences and Engineering Research Council Discovery Grant

History

Usage metrics

Licence

Exports