Propositional dynamic logic for Petri nets

DOI10.1093/jigpal/jzu010zbMath1407.68335OpenAlexW2011342176MaRDI QIDQ4644609

Mario R. F. Benevides, Edward Hermann Haeusler, Bruno D. Lopes

Publication date: 8 January 2019

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

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

zbMATH Keywords

Petri netsmodel checkingdynamic logictemporal logicelementary net systemsmodel synthesisaxiomatization of properties

Mathematics Subject Classification ID

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

Related Items (2)

An exercise on the generation of many-valued dynamic logics ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach

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