Package org.processmining.longdistancedependencies

Class StochasticLabelledPetriNetSemanticsAdjustmentWeightsImpl

java.lang.Object

org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

org.processmining.longdistancedependencies.StochasticLabelledPetriNetSemanticsAdjustmentWeightsImpl

All Implemented Interfaces:

java.lang.Cloneable, org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

public class StochasticLabelledPetriNetSemanticsAdjustmentWeightsImpl
extends org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

Field Summary

Fields inherited from class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

enabledTransitions, numberOfEnabledTransitions

Constructor Summary

Constructors

Constructor	Description
StochasticLabelledPetriNetSemanticsAdjustmentWeightsImpl(StochasticLabelledPetriNetAdjustmentWeights net)

Method Summary

Modifier and Type	Method	Description
static void	byteToInt(byte[] source, int[] target, int sourceStart, int targetLength)
void	executeTransition(int transition)	Update the state to reflect execution of the transition.
byte[]	getState()
double	getTotalWeightOfEnabledTransitions()
double	getTransitionWeight(int transition)
static void	intToByte(int[] source, byte[] target, int targetStart)
void	setInitialState()	(Re)set the semantics to the initial state.
void	setState(byte[] newState)	Set a copy of the given state.

Methods inherited from class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

clone, getEnabledTransitions, getNumberOfTransitions, getTransitionLabel, isFinalState, isTransitionSilent

Methods inherited from class java.lang.Object

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

Constructor Detail

StochasticLabelledPetriNetSemanticsAdjustmentWeightsImpl

public StochasticLabelledPetriNetSemanticsAdjustmentWeightsImpl(StochasticLabelledPetriNetAdjustmentWeights net)

Method Detail

setInitialState

public void setInitialState()

Description copied from interface: org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

(Re)set the semantics to the initial state.

Specified by:

setInitialState in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Overrides:

setInitialState in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

executeTransition

public void executeTransition(int transition)

Description copied from interface: org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Update the state to reflect execution of the transition.

Specified by:

executeTransition in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Overrides:

executeTransition in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

getTransitionWeight

public double getTransitionWeight(int transition)

Returns:

the weight of the transition. This might depend on the state.

getTotalWeightOfEnabledTransitions

public double getTotalWeightOfEnabledTransitions()

Returns:

the sum of the weight of the enabled transitions

getState

public byte[] getState()

Specified by:

getState in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Overrides:

getState in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

Returns:

a copy of the current state.

setState

public void setState(byte[] newState)

Description copied from interface: org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Set a copy of the given state.

Specified by:

setState in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Overrides:

setState in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

intToByte

public static void intToByte(int[] source,
                             byte[] target,
                             int targetStart)

byteToInt

public static void byteToInt(byte[] source,
                             int[] target,
                             int sourceStart,
                             int targetLength)