Package org.processmining.stochasticlabelleddatapetrinet

Interface StochasticLabelledDataPetriNetSemantics

All Superinterfaces:

java.lang.Cloneable

All Known Implementing Classes:

StochasticLabelledDataPetrinetSemanticsDataUnaware, StochasticLabelledDataPetriNetSemanticsImpl, StochasticLabelledDataPetriNetSemanticsWeightsImpl

public interface StochasticLabelledDataPetriNetSemantics
extends java.lang.Cloneable

Semantics considering the DataState as it is updated through visible transitions writing variables.

Author:

Felix Mannhardt, Sander Leemans

Method Summary

Modifier and Type	Method	Description
StochasticLabelledDataPetriNetSemantics	clone()	Utilities
void	executeTransition(int transition, DataState dataEffect)	Update the state to reflect execution of the transition.
DataState	getDataState()
java.util.BitSet	getEnabledTransitions()
int	getNumberOfVariables()
byte[]	getState()
double	getTotalWeightOfEnabledTransitions()
java.lang.String	getTransitionLabel(int transition)
double	getTransitionWeight(int transition)
java.lang.String	getVariableLabel(int variable)
StochasticLabelledDataPetriNet.VariableType	getVariableType(int variable)
boolean	isFinalState()
boolean	isTransitionSilent(int transition)
DataState	newDataState()
void	setDataState(DataState dataState)	Set the data state to a copy of the supplied state
void	setInitialState(DataState initialDataState)	(Re)set the semantics to the initial state
void	setState(byte[] state)	Set a copy of the given state.

Method Detail

setInitialState

void setInitialState(DataState initialDataState)

(Re)set the semantics to the initial state

executeTransition

void executeTransition(int transition,
                       DataState dataEffect)

Update the state to reflect execution of the transition.

Parameters:

transition - index fired

dataEffect - containing values for all (and only those) written variables

getEnabledTransitions

java.util.BitSet getEnabledTransitions()

Parameters:

state -

Returns:

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

isFinalState

boolean isFinalState()

Returns:

whether the current state is a final state.

getState

byte[] getState()

Returns:

a copy of the current state.

setState

void setState(byte[] state)

Set a copy of the given state.

Parameters:

state -

getDataState

DataState getDataState()

Returns:

a copy of the current data state

setDataState

void setDataState(DataState dataState)

Set the data state to a copy of the supplied state

Parameters:

dataState -

newDataState

DataState newDataState()

getTransitionWeight

double getTransitionWeight(int transition)

Parameters:

transition -

Returns:

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

getTotalWeightOfEnabledTransitions

double getTotalWeightOfEnabledTransitions()

Parameters:

enabledTransitions -

Returns:

the sum of the weight of the enabled transitions

clone

StochasticLabelledDataPetriNetSemantics clone()

Utilities

isTransitionSilent

boolean isTransitionSilent(int transition)

Parameters:

transition - index

Returns:

whether the transition is observable (false) or silent (true)

getTransitionLabel

java.lang.String getTransitionLabel(int transition)

getNumberOfVariables

int getNumberOfVariables()

getVariableLabel

java.lang.String getVariableLabel(int variable)

getVariableType

StochasticLabelledDataPetriNet.VariableType getVariableType(int variable)