Propositional dynamic logic for Petri nets with iteration

DOI10.1007/978-3-319-46750-4_25zbMATH Open1401.68219OpenAlexW2522308137MaRDI QIDQ3179415FDOQ3179415

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

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

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)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Communication in concurrent dynamic logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Extending propositional dynamic logic for Petri nets
• Deciding Properties of Nonregular Programs
• A Propositional Dynamic Logic for CCS Programs
• PDL with intersection of programs: a complete axiomatization
• Concurrent dynamic logic
• Propositional dynamic logic with recursive programs
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• DAL -- a logic for data analysis
• Title not available (Why is that?)
• Syntactic codes and grammar refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporalizing description logics
• Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
• Title not available (Why is that?)

Cited In (3)

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Title not available (Why is that?)
• Towards reasoning about Petri nets: a propositional dynamic logic based approach

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)