Repeatability Package for: Improvements in Unfolding of Colored Petri Nets

Repeatability package for paper 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.