Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis. (30th June 2021)