Stubborn sets for reduced state generation
APN 90 Proceedings on Advances in Petri nets 1990
Free choice Petri nets
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Understanding the occurrence of errors in process models based on metrics
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Developer-friendly verification of process-based systems
Knowledge-Based Systems
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Strong non-leak guarantees for workflow models
Proceedings of the 2011 ACM Symposium on Applied Computing
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Simplified computation and generalization of the refined process structure tree
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Finding a witness path for non-liveness in free-choice nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
ADDiff: semantic differencing for activity diagrams
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Automated error correction of business process models
BPM'11 Proceedings of the 9th international conference on Business process management
Clone detection in repositories of business process models
BPM'11 Proceedings of the 9th international conference on Business process management
Guaranteeing Weak Termination in Service Discovery
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Understanding business process models: the costs and benefits of structuredness
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
A decade of business process management conferences: personal reflections on a developing discipline
BPM'12 Proceedings of the 10th international conference on Business Process Management
Assisting business process design by activity neighborhood context matching
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Compliance by design for artifact-centric business processes
Information Systems
Fast detection of exact clones in business process model repositories
Information Systems
Generation of process using multi-objective genetic algorithm
Proceedings of the 2013 International Conference on Software and System Process
Hi-index | 0.00 |
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 other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker LoLA, and a recently developed technique based on SESE decomposition. We evaluate the various techniques used by these approaches in terms of their ability of accelerating the check. Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis. We also briefly compare the diagnostic information delivered by the different approaches.