Sciweavers

65 search results - page 1 / 13
» Learning Workflow Petri Nets
Sort
View
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
AWPN
2008
268views Algorithms» more  AWPN 2008»
13 years 6 months ago
EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment
Abstract Petri nets are a formalism for describing systems where interactions between active components
Daniel Martin, Daniel Wutke, Frank Leymann
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 8 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
APN
2003
Springer
13 years 8 months ago
Reactive Petri Nets for Workflow Modeling
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
Rik Eshuis, Juliane Dehnert