14 citations · 16 across the 4 of their papers we have counts for
1 paper · 1 filter
Philippe Darondeau, Stephane Demri, Roland Meyer +1
We investigate the decidability and complexity status of model-checking problems on unlabelled reachability graphs of Petri nets by considering first-order and modal languages with…