scientific article; zbMATH DE number 1446377
From MaRDI portal
Publication:4953845
zbMATH Open1030.68877MaRDI QIDQ4953845FDOQ4953845
Authors: W. M. P. van der Aalst 
Publication date: 18 February 2004
Title of this publication is not available (Why is that?)
Computing methodologies and applications (68U99) Management decision making, including multiple objectives (90B50)
Cited In (7)
- Model checking workflow net based on Petri net
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- On composition and lookahead delegation of \(e\)-services modeled by automata
- Soundness-preserving reduction rules for reset workflow nets
- Minimum-cost delegation in service composition
- Inheritance of workflows: An approach to tackling problems related to change
- Enriched workflow modelling and stochastic branch-and-bound
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953845)
