Package org.processmining.stochasticlabelleddatapetrinet.duemsc