Package org.processmining.earthmoversstochasticconformancechecking.helperclasses

Class StochasticPetriNetUtils

java.lang.Object

org.processmining.earthmoversstochasticconformancechecking.helperclasses.StochasticPetriNetUtils

public class StochasticPetriNetUtils
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	StochasticPetriNetUtils.PetriNetCache

Constructor Summary

Constructors

Constructor	Description
StochasticPetriNetUtils()

Method Summary

Modifier and Type	Method	Description
static java.util.BitSet	getNeighbours(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net, int transitionIndex, java.util.BitSet enabledTransitions, StochasticPetriNetUtils.PetriNetCache neighbourCache)
static java.util.BitSet	getNonNeighbours(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net, int transitionIndex, java.util.BitSet enabledTransitions, StochasticPetriNetUtils.PetriNetCache neighbourCache)
static boolean	isDependent(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net, int transitionIndexA, int transitionIndexB, StochasticPetriNetUtils.PetriNetCache cache)
static boolean	isNeighbour(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net, int transitionIndexA, int transitionIndexB, StochasticPetriNetUtils.PetriNetCache cache)

Methods inherited from class java.lang.Object

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

Constructor Detail

StochasticPetriNetUtils

public StochasticPetriNetUtils()

Method Detail

isDependent

public static boolean isDependent(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net,
                                  int transitionIndexA,
                                  int transitionIndexB,
                                  StochasticPetriNetUtils.PetriNetCache cache)

Parameters:

net -

transitionMap -

transitionIndexA -

transitionIndexB -

Returns:

whether transition B consumes any token produced by transition A

getNeighbours

public static java.util.BitSet getNeighbours(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net,
                                             int transitionIndex,
                                             java.util.BitSet enabledTransitions,
                                             StochasticPetriNetUtils.PetriNetCache neighbourCache)

Parameters:

net -

transitionMap -

transitionIndex -

neighbourCache -

Returns:

all transitions that share an input place with this transition and are not the transition itself

isNeighbour

public static boolean isNeighbour(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net,
                                  int transitionIndexA,
                                  int transitionIndexB,
                                  StochasticPetriNetUtils.PetriNetCache cache)

Parameters:

net -

transitionMap -

transitionIndexA -

transitionIndexB -

Returns:

whether transitionA and transitionB compete for any token

getNonNeighbours

public static java.util.BitSet getNonNeighbours(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net,
                                                int transitionIndex,
                                                java.util.BitSet enabledTransitions,
                                                StochasticPetriNetUtils.PetriNetCache neighbourCache)

Parameters:

net -

transitionMap -

transitionIndex -

neighbourCache -

Returns:

all transitions that do not share an input place with this transition and are not the transition itself