figshare
Browse
directed_reachability_benchmarks.zip (82.31 MB)

Benchmark Instances for Reachability and Coverability in Petri Nets

Download (82.31 MB)
dataset
posted on 2021-03-05, 07:49 authored 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

    Categories

    Keywords

    Petri netreachabilitycoverabilitybenchmark datasetsTheoretical Computer Science

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC