The following publications are possibly variants of this publication:
- 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]
- Towards reasoning about Petri nets: A Propositional Dynamic Logic based approachMario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler. TCS, 744:22-36, 2018. [doi]