#### DMCA

## Decomposing Alignment-based Conformance Checking of Data-aware Process Models

### Citations

271 |
Coloured Petri Nets.
- Jensen
- 1997
(Show Context)
Citation Context ...with Data A Petri net with Data is a Petri net with any number of variables (see Definitions 5 and 6 below). Petri nets with data can be seen as an abstracted version of high-level/colored Petri nets =-=[10]-=-. Colored Petri nets are extremely rich in expressiveness; however, many aspects are unimportant in our setting. Petri nets with data provide precisely the information needed for conformance checking ... |

92 | The refined process structure tree
- Vanhatalo, Völzer, et al.
- 2008
(Show Context)
Citation Context ...al SESEs8 of the Petri net of Fig. 4(a). For a formal definition we refer to [11]. The decomposition based on SESEs is a well studied problem in the literature, and can be computed in linear time. In =-=[13,14]-=-, efficient algorithms for constructing the 8 Note that by definition, a single edge is a SESE. Algorithm 1 SESE-based Decomposition 1: Build data workflow graph DWG from F , R, W 2: Compute RPST from... |

31 |
der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior
- Rozinat, van
- 2008
(Show Context)
Citation Context ...s on the control-flow of the underlying process, i.e. the ordering of activities. There are various approaches to compute the fraction of events or traces in the log that can be replayed by the model =-=[2,3]-=-. In a data-aware process model, each case, i.e. a process instance, is characterized by its case variables. Paths taken during the execution may be governed by guards and conditions defined over such... |

30 | Simplified computation and generalization of the refined process structure tree,
- Polyvyanyy, Vanhatalo, et al.
- 2010
(Show Context)
Citation Context ...al SESEs8 of the Petri net of Fig. 4(a). For a formal definition we refer to [11]. The decomposition based on SESEs is a well studied problem in the literature, and can be computed in linear time. In =-=[13,14]-=-, efficient algorithms for constructing the 8 Note that by definition, a single edge is a SESE. Algorithm 1 SESE-based Decomposition 1: Build data workflow graph DWG from F , R, W 2: Compute RPST from... |

16 | Decomposing Process Mining Problems Using Passages - Aalst - 2012 |

16 |
B.: A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using reallife event logs.
- Weerdt, Backer, et al.
- 2012
(Show Context)
Citation Context ...ocuses on fitness aspect of conformance, namely whether a trace can be replayed on a process model. However, recently, research has also been carried on as regards to different conformance dimensions =-=[16,17]-=-, such as whether the model is precise enough to not allow for too much behavior compared with what observed in reality in the event log. We plan to use data-aware decomposition approaches to speed up... |

13 | W.M.P.: Decomposing Petri nets for process mining: A generic approach.
- Aalst
- 2013
(Show Context)
Citation Context ...any variables.scompleteslogsLs1sM 1s...sLsnsM ns...scontrol-flowsmodelscontrol-flowslogsconformancesLsMs[3]smulti-perspectiveslogsmulti-perspectivesmodelsconformancesLsMs[4,5]sL 1sM 1s...sL nsMsns...s=-=[6,7,8]-=- Fig. 2: Positioning the contribution of this paper with respect to the state of the art: the gray area identifies the novelty of the proposed technique. up the computation of alignments by using a di... |

9 |
der Aalst, W.M.P.: Conformance Checking using CostBased Fitness Analysis
- Adriansyah, Dongen, et al.
- 2011
(Show Context)
Citation Context ...s on the control-flow of the underlying process, i.e. the ordering of activities. There are various approaches to compute the fraction of events or traces in the log that can be replayed by the model =-=[2,3]-=-. In a data-aware process model, each case, i.e. a process instance, is characterized by its case variables. Paths taken during the execution may be governed by guards and conditions defined over such... |

7 | W.M.P.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming
- Leoni, Aalst
- 2013
(Show Context)
Citation Context ...pect of conformance. As we detail in Section 2.4, finding an alignment of an event log and a data-aware process model is undecidable in the general case. However, to make the problem decidable, works =-=[4,5]-=- put forward the limitation that guards need to be linear (in)equations. Readers are also referred to them for a state-of-the-art analysis of data-aware conformance checking. These works also show tha... |

6 | Towards data-aware constraints in declare. - Montali, Chesani, et al. - 2013 |

5 |
Structuring process models
- Polyvyanyy
- 2012
(Show Context)
Citation Context ...6). The proposed strategy decomposes the Petri net with data in a number of Single-Entry SingleExit (SESE) components, which have recently been shown to create meaningful fragments of a process model =-=[11,8]-=-. SESE decomposition is indicated for well-structured models, whereas for unstructured models some automatic transformation techniques can be considered as a pre-processing step [12]. We will now info... |

5 |
A General Framework for Precision Checking
- Munoz-Gama, Carmona
- 2012
(Show Context)
Citation Context ...ocuses on fitness aspect of conformance, namely whether a trace can be replayed on a process model. However, recently, research has also been carried on as regards to different conformance dimensions =-=[16,17]-=-, such as whether the model is precise enough to not allow for too much behavior compared with what observed in reality in the event log. We plan to use data-aware decomposition approaches to speed up... |

3 |
der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking
- Munoz-Gama, Carmona, et al.
- 2014
(Show Context)
Citation Context ...any variables.scompleteslogsLs1sM 1s...sLsnsM ns...scontrol-flowsmodelscontrol-flowslogsconformancesLsMs[3]smulti-perspectiveslogsmulti-perspectivesmodelsconformancesLsMs[4,5]sL 1sM 1s...sL nsMsns...s=-=[6,7,8]-=- Fig. 2: Positioning the contribution of this paper with respect to the state of the art: the gray area identifies the novelty of the proposed technique. up the computation of alignments by using a di... |

2 | A.: Unraveling unstructured process models
- Dumas, Garcı́a-Bañuelos, et al.
- 2010
(Show Context)
Citation Context ...a process model [11,8]. SESE decomposition is indicated for well-structured models, whereas for unstructured models some automatic transformation techniques can be considered as a pre-processing step =-=[12]-=-. We will now informally describe the necessary notions for understanding the proposed data-oriented SESE-based valid decomposition strategies described below. For n1 n2 n3 n5 n6 Credit Request Verify... |

1 |
der Aalst, W.M.P.: Decomposing Conformance Checking on Petri Nets with Data
- Leoni, Munoz-Gama, et al.
(Show Context)
Citation Context ... it allows for gaining a helicopter view on the main causes of deviations. Space limitations prevent us from giving more details and showing screenshots of the output. Interested readers can refer to =-=[15]-=- for further information. As previously mentioned, the plug-in has been evaluated using a number of synthetic event logs and also a real-life process. The plug-in has been evaluated using the model in... |