The following pages link to (Q2766587):
Displaying 5 items.
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- A Framework for Linking and Pricing No-Cure-No-Pay Services (Q3623826) (← links)
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345) (← links)
- Fast termination and workflow nets (Q6535631) (← links)