scientific article; zbMATH DE number 1446377

MaRDI QIDQ4953845zbMATH OpenFDO

Authors W. M. P. van der Aalst

Publication date 18 February 2004

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Management decision making, including multiple objectives (90B50)

Cited in

(7)

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Model checking workflow net based on Petri net
• 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

Describes a project that uses

Uses Software

• Woflan

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)