Package org.processmining.stochasticbpmn.models.petrinets.stochastic