Benchmark Instances for Reachability and Coverability in Petri Nets
datasetposted 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.
Advanced Reasoning in Arithmetic Theories
European Research CouncilFind out more...