211 search results - page 7 / 43 » Verification of Workflow Nets |
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities. We analyze how these heterogeneous approaches ca...
ECOWS
2009
Springer
14 years 1 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
ISSADS
2005
Springer
14 years 3 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
AIME
2009
Springer
13 years 11 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
ECEASST
2008
13 years 9 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...