6.2 — tool demo — Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams
Channel: Fabrice Kordon
Date: 2020-06-27

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/