Leveraging polyhedral reductions for solving Petri net reachability problems
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan International Journal on Software Tools for Technology Transfer 25, dec 2023.
Kong
Accelerating the Computation of Dead and Concurrent Places Using Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.