Sciweavers

80 search results - page 2 / 16
» Resource-Constrained Workflow Nets
Sort
View
ECLIPSE
2005
ACM
13 years 7 months ago
An approach to workflow modeling and analysis
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
Hemant Kr. Meena, Indradeep Saha, Koushik Kr. Mond...
BPM
2000
Springer
133views Business» more  BPM 2000»
13 years 9 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
BPM
2003
Springer
123views Business» more  BPM 2003»
13 years 9 months ago
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
Piotr Chrzastowski-Wachtel, Boualem Benatallah, Ra...
ICCS
2007
Springer
13 years 11 months ago
Autonomic Workflow Management in the Grid
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
Guangsheng Zhang, Changjun Jiang, Jing Sha, Ping S...
APN
2010
Springer
13 years 3 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund