The following pages link to (Q4953845):
Displaying 7 items.
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Minimum-cost delegation in service composition (Q2378522) (← links)
- Enriched workflow modelling and stochastic branch-and-bound (Q2433552) (← links)
- On composition and lookahead delegation of \(e\)-services modeled by automata (Q2566017) (← links)
- Model checking workflow net based on Petri net (Q3446022) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
