  In process discovery, the goal is to find, for a given event log, the model
describing the underlying process. While process models can be represented in a
variety of ways, Petri nets form a theoretically well-explored description
language and are therefore often used. In this paper, we extend the eST-Miner
process discovery algorithm. The eST-Miner computes a set of Petri net places
which are considered to be fitting with respect to a certain fraction of the
behavior described by the given event log as indicated by a given noise
threshold. It evaluates all possible candidate places using token-based replay.
The set of replayable traces is determined for each place in isolation, i.e.,
these sets do not need to be consistent. This allows the algorithm to abstract
from infrequent behavioral patterns occurring only in some traces. However,
when combining places into a Petri net by connecting them to the corresponding
uniquely labeled transitions, the resulting net can replay exactly those traces
from the event log that are allowed by the combination of all inserted places.
Thus, inserting places one-by-one without considering their combined effect may
result in deadlocks and low fitness of the Petri net. In this paper, we explore
adaptions of the eST-Miner, that aim to select a subset of places such that the
resulting Petri net guarantees a definable minimal fitness while maintaining
high precision with respect to the input event log. Furthermore, current place
evaluation techniques tend to block the execution of infrequent activity
labels. Thus, a refined place fitness metric is introduced and thoroughly
investigated. In our experiments we use real and artificial event logs to
evaluate and compare the impact of the various place selection strategies and
place fitness evaluation metrics on the returned Petri net.
