Project and Conquer: Fast Quantifier Elimination for Checking Petri Net ReachabilityVerification Petri Tools Reductions OctantNicolas Amat, Silvano Dal Zilio, Didier Le Botlan In VMCAI 2024 — Verification, Model Checking, and Abstract Interpretation, jan 2024.
