scientific article; zbMATH DE number 1446377
From MaRDI portal
Publication:4953845
zbMath1030.68877MaRDI QIDQ4953845
Publication date: 18 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Management decision making, including multiple objectives (90B50) Computing methodologies and applications (68U99)
Related Items (7)
Model checking workflow net based on Petri net ⋮ Minimum-cost delegation in service composition ⋮ Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ Enriched workflow modelling and stochastic branch-and-bound ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ Soundness-preserving reduction rules for reset workflow nets ⋮ On composition and lookahead delegation of \(e\)-services modeled by automata
Uses Software
This page was built for publication:
