1 paper
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
We propose an automated procedure to prove polyhedral abstractions (also known as polyhedral reductions) for Petri nets. Polyhedral abstraction is a new type of state space equival…