research
∙
08/05/2022
Property Directed Reachability for Generalized Petri Nets
We propose a semi-decision procedure for checking generalized reachabili...
share
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
∙
10/31/2019
