ISSE Publication

This release contains the data for the upcoming publication in Springer's Innovations in Systems and Software Engineering on "Coverage Visualization and Analysis of Net Inscriptions in Coloured Petri Net Models" (https://doi.org/10.1007/s11334-023-00528-z).