MCC: a Tool for Unfolding Colored Petri Nets in PNML FormatVerification Tools Petri MccSilvano Dal Zilio In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.