Propositional dynamic logic for Petri nets with iteration

DOI10.1007/978-3-319-46750-4_25MaRDI QIDQ3179415zbMATHOpenAlexFDO

Authors Mario Benevides, Edward Hermann Haeusler, Bruno 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)

Recommendations

• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Propositional dynamic logic for Petri nets
• Extending propositional dynamic logic for Petri nets
• scientific article; zbMATH DE number 3995064
• A calculus for automatic verification of Petri nets based on resolution and dynamic logics

Cites work

• scientific article; zbMATH DE number 4143953 (Why is no real title available?)
• scientific article; zbMATH DE number 3778721 (Why is no real title available?)
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3235663 (Why is no real title available?)
• A Propositional Dynamic Logic for CCS Programs
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• DAL -- a logic for data analysis
• Deciding Properties of Nonregular Programs
• Extending propositional dynamic logic for Petri nets
• Modal logic
• PDL with intersection of programs: a complete axiomatization
• Parallel action: Concurrent dynamic logic with independent modalities
• Propositional dynamic logic with recursive programs
• Syntactic codes and grammar refinement
• Temporalizing description logics
• Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case

Cited in

(6)

• Propositional dynamic logic for Petri nets
• scientific article; zbMATH DE number 1515284 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Extending propositional dynamic logic for Petri nets
• Logics for Petri Nets with Propagating Failures
• Towards reasoning about Petri nets: a propositional dynamic logic based approach

Describes a project that uses

Uses Software

• Petri-PDL

This page was built for publication: Propositional dynamic logic for Petri nets with iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179415)