Propositional Dynamic Logic for Petri Nets with Iteration

DOI10.1007/978-3-319-46750-4_25zbMath1401.68219OpenAlexW2522308137MaRDI QIDQ3179415

Edward Hermann Haeusler, Mario R. F. Benevides, Bruno D. Lopes

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-46750-4_25

zbMATH Keywords

modal logicPetri netspropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Towards reasoning about Petri nets: a propositional dynamic logic based approach

Uses Software

• Petri-PDL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extending propositional dynamic logic for Petri nets
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• DAL -- a logic for data analysis
• Communication in concurrent dynamic logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Syntactic codes and grammar refinement
• Propositional dynamic logic with recursive programs
• Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
• Deciding Properties of Nonregular Programs
• A Propositional Dynamic Logic for CCS Programs
• PDL with intersection of programs: a complete axiomatization
• Concurrent dynamic logic

This page was built for publication: Propositional Dynamic Logic for Petri Nets with Iteration