Pages that link to "Item:Q4982092"
From MaRDI portal
The following pages link to Dynamic Slicing Techniques for Petri Nets (Q4982092):
Displaying 9 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- Using Petri nets during debugging to localize software errors (Q1115572) (← links)
- On reachability graphs of Petri nets (Q1860056) (← links)
- Modeling multithreaded applications using Petri nets (Q1871095) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- Slicing Behavior Tree Models for Verification (Q3163878) (← links)
- Causally Consistent Dynamic Slicing (Q4608670) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713501) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)