Automated Polyhedral Abstraction ProvingVerification Petri Tools Reductron ReductionsNicolas Amat, Silvano Dal Zilio, Didier Le Botlan In Petri nets 2023 — 44th International Conference on Application and Theory of Petri Nets and Concurrency, jun 2023.
