Pages that link to "Item:Q6487345"
From MaRDI portal
The following pages link to Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345):
Displaying 7 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421) (← links)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169) (← links)
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712330) (← links)
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345) (← links)
- Fast termination and workflow nets (Q6535631) (← links)