Colored petri nets to verify extended event-driven process chains

Authors:
Kees van Hee;Olivia Oanea;Natalia Sidorova
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Year:
2005

Citing 6
Cited 3

Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Business process modelling with ARIS: a practical guide

Business process modelling with ARIS: a practical guide
Sap R/3 Process Oriented Implementation

Sap R/3 Process Oriented Implementation
Aris--Business Process Modeling

Aris--Business Process Modeling
Petri Net Based Certification of Event-Driven Process Chains

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

History-based joins: Semantics, soundness and implementation

Data & Knowledge Engineering
Detecting non-ergodic simulation models of logistics networks

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
History-based joins: semantics, soundness and implementation

BPM'06 Proceedings of the 4th international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are growing due to the growing scale of their application and the growing degree of automation. In this paper we consider Extended Event-driven Process Chains (eEPCs), a language which is widely used for modeling business processes, documenting industrial reference models and designing workflows. We describe how to translate eEPCs into timed colored Petri nets in order to verify processes given by eEPCs with the CPN Tools.