The following pages link to (Q4531752):
Displayed 7 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)