Petri-PDL

swMATH15081MaRDI QIDQ26975FDOQ26975

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-29473-5_5

Cited In (3)

• Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case
• Propositional dynamic logic for Petri nets with iteration
• Towards reasoning about Petri nets: a propositional dynamic logic based approach

This page was built for software: Petri-PDL