Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case

DOI10.1007/978-3-319-29473-5_5zbMath1335.68165OpenAlexW2408297390MaRDI QIDQ2798046

Christiano Braga, Bruno D. Lopes

Publication date: 1 April 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29473-5_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (2)

Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach

Uses Software

• Maude
• Petri-PDL

This page was built for publication: Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case