research
∙
06/02/2023
Automated Polyhedral Abstraction Proving
We propose an automated procedure to prove polyhedral abstractions for P...
share
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
∙
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
∙
06/10/2020
Checking marking reachability with the state equation in Petri net subclasses
Although decidable, the marking reachability problem for Petri nets is w...
research
∙
05/11/2020
On the Petri Nets with a Single Shared Place and Beyond
Petri nets proved useful to describe various real-world systems, but man...
research
∙
08/06/2019
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
We propose a new method for computing the language intersection of two T...
research
∙
07/09/2018
Petri Net Reductions for Counting Markings
We propose a method to count the number of reachable markings of a Petri...
research
∙
05/17/2018