Business process management: a comprehensive survey
WMP Van der Aalst - International Scholarly Research Notices, 2013 - Wiley Online Library
Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …
techniques, and tools to support the design, enactment, management, and analysis of …
Soundness of workflow nets: classification, decidability, and analysis
Workflow nets, a particular class of Petri nets, have become one of the standard ways to
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …
[BOOK][B] Modeling business processes: a petri net-oriented approach
MP Wil Van Der Aalst, C Stahl - 2011 - books.google.com
An introduction to the modeling of business information systems, with processes formally
modeled using Petri nets. This comprehensive introduction to modeling business …
modeled using Petri nets. This comprehensive introduction to modeling business …
APROMORE: An advanced process model repository
Business process models are becoming available in large numbers due to their widespread
use in many industrial applications such as enterprise and quality engineering projects. On …
use in many industrial applications such as enterprise and quality engineering projects. On …
Managing large collections of business process models—Current techniques and challenges
As it becomes increasingly common for organizations to work in a process-oriented manner,
single organizations may be dealing with collections of hundreds or thousands business …
single organizations may be dealing with collections of hundreds or thousands business …
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked
735 industrial business process models from financial services, telecommunications, and …
735 industrial business process models from financial services, telecommunications, and …
Simplified computation and generalization of the refined process structure tree
A Polyvyanyy, J Vanhatalo, H Völzer - … , WS-FM 2010, Hoboken, NJ, USA …, 2011 - Springer
A business process is often modeled using some kind of a directed flow graph, which we call
a workflow graph. The Refined Process Structure Tree (RPST) is a technique for workflow …
a workflow graph. The Refined Process Structure Tree (RPST) is a technique for workflow …
Compliance by design for artifact-centric business processes
N Lohmann - Information Systems, 2013 - Elsevier
Compliance to legal regulations, internal policies, or best practices is becoming a more and
more important aspect in business processes management. Compliance requirements are …
more important aspect in business processes management. Compliance requirements are …
A decade of business process management conferences: personal reflections on a develo** discipline
WMP Van der Aalst - International Conference on Business Process …, 2012 - Springer
Abstract The Business Process Management (BPM) conference series celebrates its tenth
anniversary. This is a nice opportunity to reflect on a decade of BPM research. This paper …
anniversary. This is a nice opportunity to reflect on a decade of BPM research. This paper …
Diagnosing and repairing data anomalies in process models
When using process models for automation, correctness of the models is a key requirement.
While many approaches concentrate on control flow verification only, correct data flow …
While many approaches concentrate on control flow verification only, correct data flow …