Pages that link to "Item:Q1786561"
From MaRDI portal
The following pages link to Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561):
Displaying 10 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)
- Possibilistic Petri nets as a basis for agent service description language (Q598580) (← links)
- ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
- (Q4223030) (← links)
- A Petri net model for probabilistic logic (Q4332364) (← links)
- (Q4507814) (← links)
- Propositional dynamic logic for Petri nets (Q4644609) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)