Published April 6, 2022 | Version 3
Software Open

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


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 for instructions on how to repeat the experiments.


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 file to find the origins of the projects - and links to the source-code of the binaries.


Files (74.3 MB)

Name Size Download all
74.3 MB Preview Download