2.6 — tool demo — MCC, a Tool for Unfolding Colored Petri Nets in PNML Format

This video corresponds to material provide for one of the papers accepted for presentation at the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2020). This video was made available online as a preparation of interactive discussion sessions on June 25th, 2020 since the event could not take place physically in Paris due to the Covid-19 crisis.

For more information, see https://lipn.univ-paris13.fr/petrinets2020/

Скачать видео