Package org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage.model

Class StochasticPetriNet2StochasticPathLanguage

java.lang.Object

org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage.model.StochasticPetriNet2StochasticPathLanguage

public class StochasticPetriNet2StochasticPathLanguage
extends java.lang.Object

Use multithreading and byte storage

Author:

sander

Constructor Summary

Constructors

Constructor	Description
StochasticPetriNet2StochasticPathLanguage()

Method Summary

Modifier and Type	Method	Description
static StochasticPathLanguage<TotalOrder>	convert(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net, LanguageGenerationStrategyFromModel terminationStrategy, Activity2IndexKey activityKey, int numberOfThreads, org.processmining.framework.plugin.ProMCanceller canceller)	Assumption: the deadlock markings are equal to the final markings.
static double	getTotalMass(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics semantics, java.util.BitSet enabledTransitions)
static void	thread(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics semantics, java.util.concurrent.ConcurrentLinkedQueue<byte[]> globalQueue, java.util.concurrent.atomic.AtomicInteger globalQueueSize, com.google.common.util.concurrent.AtomicDouble massCovered, LanguageGenerationStrategyFromModel terminationStrategy, StochasticPathLanguageImpl<TotalOrder> language, org.processmining.framework.plugin.ProMCanceller canceller)
static double	walk(StochasticPathLanguageImpl<TotalOrder> language, org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics semantics, LanguageGenerationStrategyFromModel terminationStrategy, int numberOfThreads, org.processmining.framework.plugin.ProMCanceller canceller)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StochasticPetriNet2StochasticPathLanguage

public StochasticPetriNet2StochasticPathLanguage()

Method Detail

convert

public static StochasticPathLanguage<TotalOrder> convert(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net,
                                                         LanguageGenerationStrategyFromModel terminationStrategy,
                                                         Activity2IndexKey activityKey,
                                                         int numberOfThreads,
                                                         org.processmining.framework.plugin.ProMCanceller canceller)
                                                  throws java.lang.InterruptedException

Assumption: the deadlock markings are equal to the final markings.

Parameters:

net -

initialMarking -

terminationStrategy -

canceller -

Returns:

Throws:

org.processmining.models.semantics.IllegalTransitionException

java.lang.InterruptedException

walk

public static double walk(StochasticPathLanguageImpl<TotalOrder> language,
                          org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics semantics,
                          LanguageGenerationStrategyFromModel terminationStrategy,
                          int numberOfThreads,
                          org.processmining.framework.plugin.ProMCanceller canceller)
                   throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

getTotalMass

public static double getTotalMass(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics semantics,
                                  java.util.BitSet enabledTransitions)

thread

public static void thread(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics semantics,
                          java.util.concurrent.ConcurrentLinkedQueue<byte[]> globalQueue,
                          java.util.concurrent.atomic.AtomicInteger globalQueueSize,
                          com.google.common.util.concurrent.AtomicDouble massCovered,
                          LanguageGenerationStrategyFromModel terminationStrategy,
                          StochasticPathLanguageImpl<TotalOrder> language,
                          org.processmining.framework.plugin.ProMCanceller canceller)
                   throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException