research
∙
06/02/2023
Automated Polyhedral Abstraction Proving
We propose an automated procedure to prove polyhedral abstractions for P...
share
research
∙
02/28/2023
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets
SMPT (for Satisfiability Modulo Petri Net) is a model checker for reacha...
research
∙
02/06/2023
Leveraging polyhedral reductions for solving Petri net reachability problems
We propose a new method that takes advantage of structural reductions to...
research
∙
08/05/2022
Property Directed Reachability for Generalized Petri Nets
We propose a semi-decision procedure for checking generalized reachabili...
research
∙
06/24/2021
Accelerating the Computation of Dead and Concurrent Places using Reductions
We propose a new method for accelerating the computation of a concurrenc...
research
∙
04/20/2021