public class StochasticPetriNet2StochasticPathLanguage
extends java.lang.Object
Constructor and Description |
---|
StochasticPetriNet2StochasticPathLanguage() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.InductiveMiner.Pair<StochasticLanguageModel,TransitionMap> |
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 double |
getTotalMass(EfficientStochasticPetriNetSemantics semantics,
int[] enabledTransitions) |
static void |
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 |
walk(StochasticPathLanguageImpl language,
EfficientStochasticPetriNetSemantics semantics,
TransitionMap transitionMap,
org.processmining.models.semantics.petrinet.Marking initialMarking,
TerminationStrategy terminationStrategy,
org.processmining.framework.plugin.ProMCanceller canceller) |
public StochasticPetriNet2StochasticPathLanguage()
public static org.processmining.plugins.InductiveMiner.Pair<StochasticLanguageModel,TransitionMap> 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) throws java.lang.InterruptedException
net
- initialMarking
- terminationStrategy
- canceller
- org.processmining.models.semantics.IllegalTransitionException
java.lang.InterruptedException
public static double walk(StochasticPathLanguageImpl language, EfficientStochasticPetriNetSemantics semantics, TransitionMap transitionMap, org.processmining.models.semantics.petrinet.Marking initialMarking, TerminationStrategy terminationStrategy, org.processmining.framework.plugin.ProMCanceller canceller) throws java.lang.InterruptedException
java.lang.InterruptedException
public static double getTotalMass(EfficientStochasticPetriNetSemantics semantics, int[] enabledTransitions)
public static void 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) throws java.lang.InterruptedException
java.lang.InterruptedException