Pages that link to "Item:Q1044705"
From MaRDI portal
The following pages link to Structural soundness of workflow nets is decidable (Q1044705):
Displaying 9 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Information flow analysis of scientific workflows (Q980980) (← links)
- Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets (Q1665580) (← links)
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
- On Determining the AND-OR Hierarchy in Workflow Nets (Q4606265) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712330) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713505) (← links)
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345) (← links)
- The complexity of soundness in workflow nets (Q6649450) (← links)