8 citations · 26 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Accelerating the Computation of Dead and Concurrent Places using Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
We propose a new method for accelerating the computation of a concurrency relation, that is all pairs of places in a Petri net that can be marked together. Our approach relies on a…
cs.LO2021★ 8 cited
A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio
We define a new method for taking advantage of net reductions in combination with a SMT-based model checker. Our approach consists in transforming a reachability problem about some…