80 search results - page 3 / 16 » Resource-Constrained Workflow Nets |
CAISE
2003
Springer
13 years 9 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
AWPN
2008
13 years 7 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
BPM
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
APN
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
ERSHOV
2006
Springer
13 years 7 months ago
2006
Springer
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...