The following publications are possibly variants of this publication:
- Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic LogicBruno Lopes 0001, Cláudia Nalon, Edward Hermann Haeusler. tocl, 22(2), 2021. [doi]
- Propositional dynamic logic for Petri netsBruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler. igpl, 22(5):721-736, 2014. [doi]
- Propositional Dynamic Logic for Petri Nets with IterationMario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler. ictac 2016: 441-456 [doi]
- Extending Propositional Dynamic Logic for Petri NetsBruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler. ENTCS, 305:67-83, 2014. [doi]