17 citations · 31 across the 2 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…