Towards reasoning about Petri nets: a propositional dynamic logic based approach

DOI10.1016/j.tcs.2018.01.007zbMath1401.68220MaRDI QIDQ1786561

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

Publication date: 24 September 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.01.007

zbMATH Keywords

modal logic; Petri nets; dynamic logic

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Uses Software

• Petri-PDL