Published April 22, 2023
| Version v1
Software
Open
FastForward for Termination
- 1. University of Warsaw, Université de Sherbrooke
- 2. University of Warsaw
Description
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.
Files
FastForwardForTermination.zip
Files
(9.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:4cae1f8a3554fb1f1278444eff218e72
|
9.7 GB | Preview Download |
|
md5:a857d49143e9bddc1956996f317c276d
|
755 Bytes | Preview Download |