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.