17 citations · 31 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 14 cited
Petri Net Reachability Graphs: Decidability Status of First Order Properties
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…
cs.CR2011★ 17 cited
On the Decidability of Non Interference over Unbounded Petri Nets
Eike Best, Philippe Darondeau, Roberto Gorrieri
Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar, well-accepted defini…