Colored Petri Nets to Verify Extended Event-Driven Process Chains

Hee, Kees van; Oanea, Olivia; Sidorova, Natalia

doi:10.1007/11575771_14

Cited by 13 publications

(5 citation statements)

References 11 publications

(17 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As such, the notation has been established as the industry standard for modeling business processes [22]. The basic idea of EPC is that events trigger functions and executed functions trigger events, producing a chain of functions and events, hence the name "event driven process chain" [23].…”

Section: Process Modeling Notationsmentioning

confidence: 99%

An empirical investigation of intuitive understandability of process diagrams

Jošt

Huber

Heričko

et al. 2016

Computer Standards & Interfaces

View full text Add to dashboard Cite

Section: Process Modeling Notationsmentioning

confidence: 99%

An empirical investigation of intuitive understandability of process diagrams

Jošt

Huber

Heričko

et al. 2016

Computer Standards & Interfaces

View full text Add to dashboard Cite

“…Van Hee, Oanea, and Sidorova discuss a formalization of extended EPCs as they are implemented in the simulation tool of the ARIS Toolset (see [191]) based on a transition system [172]. This transition system is mapped to colored Petri nets in order to be verified with CPN Tools (see [198]).…”

Section: Approaches To Epc Semantics Formalizationmentioning

confidence: 99%

“…Table 2.3 summarizes existing work on the formalization of the OR-join. The solution based on Reset nets seems to be promising from the intuition of its behavior yet it requires extensive calculation effort since it depends upon backward search to decide [78] OR-join must match OR-split [238] Joins as loop entry undefined [349] every-time missing synchronization [349] first-come OR-join can block [349] wait-for-all OR-join as loop entry undefined [218] EPC can be unclean [172] folders with expired timers do not synchronize [11] limited synchronization [464] OR-join may block [266] OR-join loop entries block coverability. Newer approaches impose little or even no restrictions (see [218,11,464]), but exhibit unexpected behavior for OR-block refinements on loops with further OR-joins on it.…”

Section: Approaches To Epc Semantics Formalizationmentioning

confidence: 99%

See 1 more Smart Citation

Metrics for Process Models

Mendling

2008

Lecture Notes in Business Information Processing

135

View full text Add to dashboard Cite

PrefaceBusiness process modeling plays an important role in the management of business processes. As valuable design artifacts, business process models are subject to quality considerations. The absence of formal errors such as deadlocks is of paramount importance for the subsequent implementation of the process. This book develops a framework for the detection of formal errors in business process models and for the prediction of error probability based on quality attributes of these models (metrics). We focus on Event-driven Process Chains (EPCs), a widely used business process modeling language due to its extensive tool support. The advantage of this focus is firstly that the results of this book can be directly translated into process modeling practice. Secondly, there is a large empirical basis of models. By utilizing this large stock of EPC model collections, we aim to bring forth general insights into the connection between process model metrics and error probability. In order to validate such a connection, we first need to establish an understanding of which model attributes are likely connected with error probability. Furthermore, we must formally define an appropriate notion of correctness that answers the question of whether or not a model has a formal error. As a prerequisite to answering this question, we must define the operational semantics of the process modeling language formally. ContributionsThis book presents a precise description of EPCs, their control-flow semantics and a suitable correctness criterion called EPC soundness. Furthermore, we identify theoretical arguments on why structural metrics should be connected with error probability and provide an empirical validation of this connection. To be more concise, this book provides the following technical contributions.Formalization of the OR-join: The semantics of the OR-join have been debated for more than a decade. Existing formalizations suffer from either a restriction of the EPC syntax (see [78,247,238,4,101]) or from non-intuitive behavior (see [325,218,11,465]). In Chap. 2, we formalize the EPC semantics concept as proposed elsewhere [267]. In comparison to other approaches this novel formalization has the advantage of not being restricted to a subset of EPCs. Moreover, VIII Preface it provides intuitive semantics for blocks of matching OR-splits and joins since they cannot deadlock. As a proof of concept, we implemented a plug-in for ProM that calculates the reachability graph. In this way, this novel semantics definition contributes to research on the specification of business process modeling languages. Verification of process models with OR-joins and multiple start and end events:Verification techniques for process models with OR-joins and multiple start and end events suffer from one of two problems: Firstly, they build on an approximation of the actual behavior, e.g., by considering a relaxed notion of soundness [101], by involving user decisions [109] or by approximating relaxed soundness with invariants [440]. Therefore, they d...

show abstract

“…Petri nets are a formalism well known for verifying properties of a model. In [27,28] for example Petri nets are used to formalise event-driven process chains for the description of business processes. While most modelling and simulation tools support the user in checking the syntactical correctness of the model (cf.…”

Section: Introductionmentioning

confidence: 99%

Detecting Non-Ergodic Simulation Models of Logistics Networks

Bause¹,

Kriege²

2007

Proceedings of the 2nd International ICST Conference on Performance Evaluation Methodologies and Tools

View full text Add to dashboard Cite

Simulation is a frequently applied method when analysing logistics networks. Also within the Collaborative Research Center 559 "Modelling of Large Logistics Networks" simulation is broadly applied and process chains are used as a mutual basis for model development and description. Previous research activities exposed non-ergodicity of models as one of the typical application-specific problems which are difficult to discover by simulation.In order to detect non-ergodic models the problem has been reduced to its core employing the more analysis oriented modelling formalism of Petri nets. With the help of the Petri net formalism we developed an efficient method for the detection of non-ergodic models. Since Petri nets is not the common modelling paradigm for logisticians, this method had to be made available in the process chain modelling world of the logistics area, additionally supported by an appropriate tool.This paper describes our corresponding approach and also demonstrates the process of identifying a problem class in an application area, reducing it to its core, establishing a solution in an analysis-oriented formalism and making corresponding techniques available in the application-oriented modelling world and thus also available for the end-user.

show abstract

Colored Petri Nets to Verify Extended Event-Driven Process Chains

Cited by 13 publications

References 11 publications

An empirical investigation of intuitive understandability of process diagrams

An empirical investigation of intuitive understandability of process diagrams

Metrics for Process Models

Detecting Non-Ergodic Simulation Models of Logistics Networks

Contact Info

Product

Resources

About