Petri-PDL

swMATH15081MaRDI QIDQ26975FDOQ26975

Author name not available (Why is that?)

Cited In (3)

• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
• Propositional Dynamic Logic for Petri Nets with Iteration

This page was built for software: Petri-PDL