Uses of Interface
org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Packages that use StochasticLabelledPetriNetSemantics

Package	Description
org.processmining.stochasticlabelledpetrinets
org.processmining.stochasticlabelledpetrinets.plugins
org.processmining.stochasticlabelledpetrinets.probability

Uses of StochasticLabelledPetriNetSemantics in org.processmining.stochasticlabelledpetrinets

Classes in org.processmining.stochasticlabelledpetrinets that implement StochasticLabelledPetriNetSemantics

Modifier and Type	Class	Description
class	StochasticLabelledPetriNetSemanticsImpl	This semantics aims to avoid traversing all transitions.
class	StochasticLabelledPetriNetSemanticsSimpleWeightsImpl	This semantics aims to avoid traversing all transitions.

Methods in org.processmining.stochasticlabelledpetrinets that return StochasticLabelledPetriNetSemantics

Modifier and Type	Method	Description
StochasticLabelledPetriNetSemantics	StochasticLabelledPetriNetSemantics.clone()
StochasticLabelledPetriNetSemantics	StochasticLabelledPetriNet.getDefaultSemantics()
StochasticLabelledPetriNetSemantics	StochasticLabelledPetriNetSimpleWeightsImpl.getDefaultSemantics()

Uses of StochasticLabelledPetriNetSemantics in org.processmining.stochasticlabelledpetrinets.plugins

Methods in org.processmining.stochasticlabelledpetrinets.plugins with parameters of type StochasticLabelledPetriNetSemantics

Modifier and Type	Method	Description
static double	StochasticLabelledPetriNetTraceProbability.getTraceProbability(StochasticLabelledPetriNetSemantics semantics, java.lang.String[] trace, org.processmining.framework.plugin.ProMCanceller canceller)

Uses of StochasticLabelledPetriNetSemantics in org.processmining.stochasticlabelledpetrinets.probability

Methods in org.processmining.stochasticlabelledpetrinets.probability with parameters of type StochasticLabelledPetriNetSemantics

Modifier and Type	Method	Description
static <B> void	CrossProduct.traverse(StochasticLabelledPetriNetSemantics semanticsA, FollowerSemantics<B> systemB, CrossProductResult result, org.processmining.framework.plugin.ProMCanceller canceller)