(82.31 MB)
Download file

Benchmark Instances for Reachability and Coverability in Petri Nets

Download (82.31 MB)
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 (

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 Council

Find out more...

Natural Sciences and Engineering Research Council Discovery Grant


Usage metrics