Package org.processmining.stochasticlabelledpetrinets

Class StochasticLabelledPetriNetSemanticsImpl

java.lang.Object

org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

All Implemented Interfaces:

java.lang.Cloneable, StochasticLabelledPetriNetSemantics

Direct Known Subclasses:

StochasticLabelledPetriNetSemanticsSimpleWeightsImpl

public abstract class StochasticLabelledPetriNetSemanticsImpl
extends java.lang.Object
implements StochasticLabelledPetriNetSemantics

This semantics aims to avoid traversing all transitions. After construction, executing a transition will only consider the transitions whose enabledness may have changed. The only all-transition operation is BitSet.clear(). After construction, the semantics will only allocate local non-array variables.

Author:

sander

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.BitSet	enabledTransitions
protected int	numberOfEnabledTransitions

Constructor Summary

Constructors

Constructor	Description
StochasticLabelledPetriNetSemanticsImpl(StochasticLabelledPetriNet net)

Method Summary

Modifier and Type	Method	Description
StochasticLabelledPetriNetSemanticsImpl	clone()
void	executeTransition(int transition)	Update the state to reflect execution of the transition.
java.util.BitSet	getEnabledTransitions()
int	getNumberOfTransitions()
byte[]	getState()
java.lang.String	getTransitionLabel(int transition)	Only call when it is certain that the transition is not a silent transition.
boolean	isFinalState()
boolean	isTransitionSilent(int transition)
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 java.lang.Object

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

Methods inherited from interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

getTotalWeightOfEnabledTransitions, getTransitionWeight

Field Detail

enabledTransitions

protected java.util.BitSet enabledTransitions

numberOfEnabledTransitions

protected int numberOfEnabledTransitions

Constructor Detail

StochasticLabelledPetriNetSemanticsImpl

public StochasticLabelledPetriNetSemanticsImpl(StochasticLabelledPetriNet net)

Method Detail

getNumberOfTransitions

public int getNumberOfTransitions()

Specified by:

getNumberOfTransitions in interface StochasticLabelledPetriNetSemantics

setInitialState

public void setInitialState()

Description copied from interface: StochasticLabelledPetriNetSemantics

(Re)set the semantics to the initial state.

Specified by:

setInitialState in interface StochasticLabelledPetriNetSemantics

executeTransition

public void executeTransition(int transition)

Description copied from interface: StochasticLabelledPetriNetSemantics

Update the state to reflect execution of the transition.

Specified by:

executeTransition in interface StochasticLabelledPetriNetSemantics

getEnabledTransitions

public java.util.BitSet getEnabledTransitions()

Specified by:

getEnabledTransitions in interface StochasticLabelledPetriNetSemantics

Returns:

an array of indices of the transitions that are enabled. May be changed and stored by the caller.

isFinalState

public boolean isFinalState()

Specified by:

isFinalState in interface StochasticLabelledPetriNetSemantics

Returns:

whether the current state is a final state.

getState

public byte[] getState()

Specified by:

getState in interface StochasticLabelledPetriNetSemantics

Returns:

a copy of the current state.

setState

public void setState(byte[] newState)

Description copied from interface: StochasticLabelledPetriNetSemantics

Set a copy of the given state.

Specified by:

setState in interface StochasticLabelledPetriNetSemantics

isTransitionSilent

public boolean isTransitionSilent(int transition)

Specified by:

isTransitionSilent in interface StochasticLabelledPetriNetSemantics

Returns:

whether the given transition is silent

getTransitionLabel

public java.lang.String getTransitionLabel(int transition)

Description copied from interface: StochasticLabelledPetriNetSemantics

Only call when it is certain that the transition is not a silent transition.

Specified by:

getTransitionLabel in interface StochasticLabelledPetriNetSemantics

Returns:

the label of the transition.

clone

public StochasticLabelledPetriNetSemanticsImpl clone()

Specified by:

clone in interface StochasticLabelledPetriNetSemantics

Overrides:

clone in class java.lang.Object