In Sect. 1.5, we introduced the terms Play-in, Play-out, and Replay. Play-out is the
classical use of xx ; the model generates behavior. For instance, by playing the “token game” in a WF-net, example behaviors can be generated. Simulation
and workflow engines use Play-out to analyze and enact xx. Play-in
is the opposite of Play-out, i.e., example behavior is taken as input and the goal is
to construct a model.
The discovery techniques presented in Chaps.
5 and 6 can be used for Play-in.
Replay uses both an event log and a xx as input, i.e.,
history is replayed using the model to analyze various phenomena. For example,
in Chap. 8 we will show that replay can be used for analyzing bottlenecks and decision analysis.
In Chap. 9, replay will be used to predict the behavior of running cases and to recommend suitable actions.
In this chapter,
we focus on conformance checking
using replay.