Pages that link to "Item:Q4644609"
From MaRDI portal
The following pages link to Propositional dynamic logic for Petri nets (Q4644609):
Displaying 7 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- (Q4507814) (← links)