3 2 — On the Combination of Polyhedral Abstraction and SMT based Model Checking for Petri nets (tea)
Channel: Fabrice Kordon
Date: 2021-06-21

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

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