Extending propositional dynamic logic for Petri nets
DOI10.1016/J.ENTCS.2014.06.006zbMATH Open1335.68175OpenAlexW2035169146WikidataQ113317870 ScholiaQ113317870MaRDI QIDQ281154FDOQ281154
Mario Benevides, Edward Hermann Haeusler, Bruno Lopes
Publication date: 10 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.06.006
Recommendations
- Propositional dynamic logic for Petri nets
- Towards reasoning about Petri nets: a propositional dynamic logic based approach
- Propositional dynamic logic for Petri nets with iteration
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics
- PDL for structured data: a graph-calculus approach
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) 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?)
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Propositional dynamic logic with local assignments
- A probabilistic PDL
- Parallel action: Concurrent dynamic logic with independent modalities
- Combining deduction and model checking into tableaux and algorithms for converse-PDL.
- Model checking propositional dynamic logic with all extras
- Extending propositional dynamic logic for Petri nets
- Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
- Title not available (Why is that?)
- Infinite State Model-Checking of Propositional Dynamic Logics
- A decidable propositional dynamic logic with explicit probabilities
- Title not available (Why is that?)
- Stochastic Petri Nets
- Title not available (Why is that?)
- A probabilistic dynamic logic
- Decidability of finite probabilistic propositional dynamic logics
Cited In (7)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics
- Extending propositional dynamic logic for Petri nets
- Title not available (Why is that?)
- On dynamic description logic actions relationships with Petri nets
- Title not available (Why is that?)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach
- Propositional Dynamic Logic for Petri Nets with Iteration
This page was built for publication: Extending propositional dynamic logic for Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281154)
