A tool paper about MCC—our software for transformings models of High-Level Petri nets, given in PNML, into equivalent Place/Transition nets, not the competition!—has been accepted at Petri Nets 2020. You can find more about it here:
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format
Verification
Tools
Petri
Mcc
Silvano Dal Zilio
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
Like many conferences this year, Petri Nets happened as a virtual event, with prerecorded videos of the talks, including a short (3 minutes) teaser video to introduce each paper. You can find these videos on the official YouTube channel for the conference, including a tool demonstration video.
The videos for MCC won several awards this year, so I strongly suggest that you go and watch them ;-)
teaser video won 🏆 the best teaser video award
MCC tool demo 🥈 won an accessit to the best demonstration award