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…