Published April 6, 2022 | Version 3
Software Open

Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets

Description

Repeatability package for the paper paper "Methods for Efficient Unfolding of Colored Petri Nets" (which is the extended journal version of "Unfolding of Colored Petri Nets by Color Quotioenting and Approximation")

This repository is a full repeatability package for producing all the results used in the paper. It is split into two parts - unfolding experiments and verification experiments.

Please read the README.md for instructions on how to repeat the experiments.

LICENSE

Experimental data, scripts etc. are provided as is under Creative Commons 4.0.
The specific software libraries included each have independent licenses (ITS, MCC, SPIKE, VERIFYPN) and are provided as-is.

The user of this repeatability package is responsible for respecting the specific tool licenses, please consult the README.md file to find the origins of the projects - and links to the source-code of the binaries.

Files

repeatability.zip

Files (74.3 MB)

Name Size Download all
md5:5ea0e5dcdbd195e112904ecbaba73960
74.3 MB Preview Download