The following pages link to Verification of workflow nets (Q6485727):
Displaying 13 items.
- Confluence for process verification (Q672042) (← links)
- Verification of workflow task structures: A Petri-net-based approach (Q1567413) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- Confusion analysis and detection for workflow nets (Q2321511) (← links)
- Automatic workflow verification and generation (Q2368986) (← links)
- Diagnosing workflow processes using Woflan (Q2765226) (← links)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169) (← links)
- (Q4827275) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345) (← links)
- There and back again. On the reconstructability and rediscoverability of typed Jackson nets (Q6535182) (← links)
- Fast termination and workflow nets (Q6535631) (← links)
- The complexity of soundness in workflow nets (Q6649450) (← links)