static double |
StochasticPetriNet2StochasticPathLanguage.getTotalMass(EfficientStochasticPetriNetSemantics semantics,
int[] enabledTransitions) |
static void |
StochasticPetriNet2StochasticPathLanguage.thread(EfficientStochasticPetriNetSemantics semantics,
TransitionMap transitionMap,
java.util.concurrent.ConcurrentLinkedQueue<byte[]> globalQueue,
java.util.concurrent.atomic.AtomicInteger globalQueueSize,
com.google.common.util.concurrent.AtomicDouble massCovered,
TerminationStrategy terminationStrategy,
StochasticPathLanguageImpl language,
org.processmining.framework.plugin.ProMCanceller canceller) |
static double |
StochasticPetriNet2StochasticPathLanguage.walk(StochasticPathLanguageImpl language,
EfficientStochasticPetriNetSemantics semantics,
TransitionMap transitionMap,
org.processmining.models.semantics.petrinet.Marking initialMarking,
TerminationStrategy terminationStrategy,
org.processmining.framework.plugin.ProMCanceller canceller) |