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. A reviewer reported issues with unzipping the zip file, obtaining the following error message when running ´unzip´: Archive: FastForwardForTermination.zip?download=1 warning [FastForwardForTermination.zip?download=1]: 5447050078 extra bytes at beginning or within zipfile (attempting to process anyway) error [FastForwardForTermination.zip?download=1]: start of central directory not found; zipfile corrupt. (please check that you have transferred or created the zipfile in the appropriate BINARY mode and that you have compiled UnZip properly) 1 archive had fatal errors. A workaround to this problem is to run ` zip -FF -fz FastForwardForTermination.zip -O FastForwardForTermination.fixed.zip`, then `unzip FastForwardForTermination.fixed.zip