Propositional dynamic logic for Petri nets

DOI10.1093/JIGPAL/JZU010MaRDI QIDQ4644609zbMATH OpenOpenAlexFDO

Authors Mario Benevides, Edward Hermann Haeusler, Bruno Lopes

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/8b624eca85b47a1fb3fbcae862c8f9e38efb9574

zbMATH Keywords

model checkingPetri netstemporal logicdynamic logicelementary net systemsmodel synthesisaxiomatization of properties

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Extending 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 propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• A Propositional Dynamic Logic for CCS Programs

Cited in

(12)

• On dynamic description logic actions relationships with Petri nets
• scientific article; zbMATH DE number 1515284 (Why is no real title available?)
• ON YEN'S PATH LOGIC FOR PETRI NETS
• A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• Extending propositional dynamic logic for Petri nets
• Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case
• An exercise on the generation of many-valued dynamic logics
• Logics for Petri Nets with Propagating Failures
• Propositional dynamic logic for Petri nets with iteration
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• A Propositional Dynamic Logic for CCS Programs
• A calculus for automatic verification of Petri nets based on resolution and dynamic logics

This page was built for publication: 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 Q4644609)