FastForward.zip (916.09 MB)
FastForward: A tool for reachability in Petri nets with infinite state spaces. Artifact for the TACAS21 Contribution "Directed Reachability for Infinite-State Systems"
software
posted on 2021-01-14, 10:33 authored by Michael Blondin, Christoph Haase, Philip OfftermattPhilip OfftermattReproducible outcomes from the 2021 TACAS paper "Directed Reachability for Infinite-State systems" by Michael Blondin, Christoph Haase and Philip Offtermatt.
This artifact contains a prototype implementation of
a novel semi-decision procedure for the Petri net reachability problem, as introduced in Section 5 of the aforementioned paper.
The prototype tool is called FastForward, and it is written in C#.
The source code for the tool is included, as well as instructions on how to compile it.
Additionally, the benchmark suite we used to evaluate our prototype is included,
as well as instructions to reproduce our results.
a novel semi-decision procedure for the Petri net reachability problem, as introduced in Section 5 of the aforementioned paper.
The prototype tool is called FastForward, and it is written in C#.
The source code for the tool is included, as well as instructions on how to compile it.
Additionally, the benchmark suite we used to evaluate our prototype is included,
as well as instructions to reproduce our results.