FastForward for Termination

Reproducible outcomes from the CAV paper "Fast Termination and Workflow Nets" by Piotr Hofman, Filip Mazowiecki and Philip Offtermatt. The artifact contains implementations of several procedures related for fast termination in workflow nets, such as deciding whether a workflow net is terminating fast, and computing more fine-grained constants related to termination. The implementation is written as an extension to FastForward, a tool for decision and optimization procedures on Petri nets. This artifact includes a virtual machine image, which is equipped with the source code of the artifact, a benchmark suite of workflow nets, and instructions on how to reproduce the experiments from our paper. You can open the VM image e.g. with Virtualbox