Pages that link to "Item:Q1567413"
From MaRDI portal
The following pages link to Verification of workflow task structures: A Petri-net-based approach (Q1567413):
Displaying 11 items.
- Information flow analysis of scientific workflows (Q980980) (← links)
- Application of if-conversion to verification and optimization of workflows (Q1758685) (← links)
- Confusion analysis and detection for workflow nets (Q2321511) (← links)
- Diagnosing workflow processes using Woflan (Q2765226) (← links)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169) (← links)
- A formal model for BPEL4WS description of Web service composition (Q3446027) (← links)
- (Q4827275) (← links)
- (Q4952938) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Verification of workflow nets (Q6485727) (← links)
- Advances in quantitative analysis of free-choice workflow Petri nets (invited talk) (Q6486416) (← links)