Pages that link to "Item:Q5448670"
From MaRDI portal
The following pages link to Slicing Petri Nets with an Application to Workflow Verification (Q5448670):
Displayed 6 items.
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis (Q2813985) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)