The following pages link to (Q4531752):
Displayed 9 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Model checking \(\omega \)-regular properties with decoupled search (Q832281) (← 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)
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines (Q6116186) (← links)