Abstract
This chapter formalizes process models and event logs, and discusses about the corresponding link between these two elements. First, event logs are presented as the outcome of process executions. Also, the standard for representing event logs is detailed. Then, process models are formalised as Petri nets, enabling for a clear execution semantics of process models, that will be used in the next chapters. Finally, a discussion on the challenges for linking event logs and process models is provided.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Carmona, J., van Dongen, B., Solti, A., Weidlich, M. (2018). Preparation. In: Conformance Checking. Springer, Cham. https://doi.org/10.1007/978-3-319-99414-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-99414-7_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99413-0
Online ISBN: 978-3-319-99414-7
eBook Packages: Computer ScienceComputer Science (R0)