Propositional dynamic logic for Petri nets

DOI10.1093/JIGPAL/JZU010zbMATH Open1407.68335OpenAlexW2011342176MaRDI QIDQ4644609FDOQ4644609

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

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

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)

Cited In (6)

• An exercise on the generation of many-valued dynamic logics
• Title not available (Why is that?)
• On dynamic description logic actions relationships with Petri nets
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• A Propositional Dynamic Logic for CCS Programs
• ON YEN'S PATH LOGIC FOR PETRI NETS

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)