sentences:  Next, these Business process discovery tools propose probabilistic process models.Probabilistic behavior is essential for the analysis and the diagnosis of the processes.The following shows an example where a probabilistic repair-process is recovered from user actions.