Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Process Realism Read chapter Read first chapter

2021 | OriginalPaper | Chapter

2. Introduction to Conformance Checking

Author : Gert Janssenswillen

Published in: Unearthing the Real Process Behind the Event Data

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this chapter, a further introduction to the domain of process mining and some essential notations are provided in Sect. 2.1.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Process Realism
next chapter Calculating the Number of Distinct Paths in a Block-Structured Model
Footnotes
1
Note that we use the symbol S to refer to the underlying process or system instead of the symbol P to avoid confusion with the symbol used for precision, which will be introduced further.
 
2
Note that the concept of support set from set theory should not be confused with the concept of support in association rule mining. In set theory, the support (set) of a multiset is a set with the unique elements of that set, also called the indistinguishables of a multiset [18, 124]. As such, the support (set) of a multiset is an actual set. In order to avoid confusion we will always use the term support set, and not just support, while the two are used interchangeably in literature. In the context of association rule mining, support of a set is the number of times that set occurs. In the latter case it is thus a number, and not a set.
 
3
A formal introduction to process trees will be given in Chap. 3.
 
4
In these and subsequent paragraphs we use the set \(\text {supp} \, L \) and not the multiset L because the latter cannot straightforwardly be compared with sets M and S.
 
5
Fitness can be considered the easiest concept to quantify because it measures a proportion of the event log, which is finite. In contrast, precision has to deal with models containing an infinite amount of behaviour while generalization moreover deals with unobservable characteristics (i.e. is the behaviour real or not).
 
6
While extensive familiarity with the Petri Net notation and its execution semantics is not essential for understanding this and the next chapters, we kindly direct the interested reader to [46] for an elaborate introduction of Petri Net notation and its execution semantics.
 
7
In practice, these costs can be configured for each activity type individually, to reflect that certain deviations should be penalized more than others.
 
8
The Soundness measure as defined in [63] should not be confused with the soundness criteria for work-flow nets as defined in [2].
 
Metadata
Title
Introduction to Conformance Checking
Author
Gert Janssenswillen
Copyright Year
2021
Book
Unearthing the Real Process Behind the Event Data

Print ISBN: 978-3-030-70732-3

Electronic ISBN: 978-3-030-70733-0

Copyright Year: 2021

DOI
https://doi.org/10.1007/978-3-030-70733-0_2

Premium Partner

    Image Credits