Stochastic Directly-Follows Process Discovery Using Grammatical Inference