Search

• < Previous
• 1
• Next >

---

Petri Net Reachability Graphs: Decidability Status of First Order Properties

Philippe Darondeau ; Stephane Demri ; Roland Meyer ; Christophe Morvan.

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 without labels on transitions or atomic propositions on markings. We consider several parameters to separate decidable&nbsp;[&hellip;]

---

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Victor Khomenko ; Roland Meyer ; Reiner Hüchting.

We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for&nbsp;[&hellip;]

---