APN 90 Proceedings on Advances in Petri nets 1990
Free choice Petri nets
SAP R/3 business blueprint: understanding the business process reference model
SAP R/3 business blueprint: understanding the business process reference model
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Verification of workflow task structures: A petri-net-based approach
Information Systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Aris-Business Process Modeling
Aris-Business Process Modeling
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Novel Graph Reduction Algorithm to Identify Structural Conflicts
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Data Model Resource Book: A Library of Data Models for Specific Industries 2
Data Model Resource Book: A Library of Data Models for Specific Industries 2
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Verification of SAP reference models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Developer-friendly verification of process-based systems
Knowledge-Based Systems
Improving the understanding of BAM technology for real-time decision support
International Journal of Business Information Systems
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Hi-index | 0.00 |
A reference model is a generic conceptual model that formalizes recommended practices for a certain domain. Today, the SAP reference models are among the most comprehensive reference models, including over 4000 entity types and covering over 1000 business processes and inter-organizational scenarios. The SAP reference models use Event-driven Process Chains (EPCs) to model these processes and scenarios. Like other informal languages, EPCs are intended to support the transition from a business model to an executable model. For this reason, researchers have tried to formalize the semantics of EPCs. However, in their approaches, they fail to acknowledge the fact that in EPCs constructs exist that require human judgment to assess correctness. This paper aims to acknowledge this fact by introducing a two-step approach. First, the EPC is reduced using universally accepted reduction rules. Second, the reduced EPC is analyzed using a mixture of state-space analysis, invariants, and human judgment. This approach has been implemented in a tool, and applying this tool to the SAP reference models showed that these contain errors, which clearly shows the added value of this verification approach.