Pages that link to "Item:Q2765226"
From MaRDI portal
The following pages link to Diagnosing workflow processes using Woflan (Q2765226):
Displaying 10 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- Set-based access conflict analysis of concurrent workflow definition (Q1603382) (← links)
- An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- A Framework for Linking and Pricing No-Cure-No-Pay Services (Q3623826) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345) (← links)