static org.processmining.plugins.InductiveMiner.Pair<StochasticLanguageModel,TransitionMap> |
StochasticPetriNet2StochasticPathLanguage.convert(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
TerminationStrategy terminationStrategy,
Activity2IndexKey activityKey,
org.processmining.framework.plugin.ProMCanceller canceller)
Assumption: the deadlock markings are equal to the final markings.
|
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) |