propro - Creating probabilistic process models using Bayesian inference and MCMC

Estimates posterior distributions for control-flow in a process model using Bayesian inference and McMC, starting from a Petri net and event log.