Collection of Petri net models contributed to the MCC
·170 words
A Gitlab repository containing a collection of models that have been submitted
as benchmark for the Model-Checking Contest, as well as scripts to generate
new instances.
Mcc
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format
Silvano Dal Zilio In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.