Package org.processmining.earthmoversstochasticconformancechecking.helperclasses

Class EfficientStochasticPetriNetSemanticsImpl

java.lang.Object

org.processmining.earthmoversstochasticconformancechecking.helperclasses.EfficientStochasticPetriNetSemanticsImpl

All Implemented Interfaces:

java.lang.Cloneable, EfficientStochasticPetriNetSemantics

public class EfficientStochasticPetriNetSemanticsImpl
extends java.lang.Object
implements EfficientStochasticPetriNetSemantics

Adapted from EfficientPetrinetSemanticsImpl by Felix Mannhardt and Bas van Zelst.

Author:

sander

Constructor Summary

Constructors

Constructor	Description
EfficientStochasticPetriNetSemanticsImpl(org.processmining.models.graphbased.directed.petrinet.StochasticNet net, org.processmining.models.semantics.petrinet.Marking initialMarking)	Creates the semantics for the supplied StochasticNet and initial Marking.

Method Summary

Modifier and Type	Method	Description
EfficientStochasticPetriNetSemanticsImpl	clone()	May create a shallow copy, except the state, which must be deep copied.
org.processmining.models.semantics.petrinet.Marking	convert(byte[] marking)	convert a primative int array to a marking object based on the internal index representation of the petri net's places.
byte[]	convert(org.processmining.models.semantics.petrinet.Marking marking)	allows to convert a given marking to an equivalent int array based on the internal index representation of the petri net's places.
void	executeTransition(int transitionIndex)	Executes (fires) a transition.
int[]	getEnabledTransitions()
java.lang.String	getLabel(int transitionIndex)
byte[]	getState()
gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition>	getTransitionMap()
double	getTransitionWeight(int transitionIndex)
boolean	isInvisible(int transitionIndex)
void	setState(byte[] marking)	Sets the state to the supplied state (marking).

Methods inherited from class java.lang.Object

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

Constructor Detail

EfficientStochasticPetriNetSemanticsImpl

public EfficientStochasticPetriNetSemanticsImpl(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
                                                org.processmining.models.semantics.petrinet.Marking initialMarking)

Creates the semantics for the supplied StochasticNet and initial Marking. This semantics class treat all StochasticNets as a StochasticNet (so does not honor the semantics of reset or inhibitor nets).

Parameters:

net - with the graph structure

initialMarking -

Method Detail

executeTransition

public void executeTransition(int transitionIndex)

Description copied from interface: EfficientStochasticPetriNetSemantics

Executes (fires) a transition. For performance reasons, this method does not check whether the transition is actually enabled and does not return information on what changed.

Specified by:

executeTransition in interface EfficientStochasticPetriNetSemantics

getEnabledTransitions

public int[] getEnabledTransitions()

Specified by:

getEnabledTransitions in interface EfficientStochasticPetriNetSemantics

Returns:

The transitions that have a probability > 0 to fire.

getState

public byte[] getState()

Specified by:

getState in interface EfficientStochasticPetriNetSemantics

Returns:

a copy of the underlying array of tokens in the current state. (marking).

setState

public void setState(byte[] marking)

Description copied from interface: EfficientStochasticPetriNetSemantics

Sets the state to the supplied state (marking). The state array is copied into the internal data structure.

Specified by:

setState in interface EfficientStochasticPetriNetSemantics

convert

public byte[] convert(org.processmining.models.semantics.petrinet.Marking marking)

Description copied from interface: EfficientStochasticPetriNetSemantics

allows to convert a given marking to an equivalent int array based on the internal index representation of the petri net's places.

Specified by:

convert in interface EfficientStochasticPetriNetSemantics

Parameters:

marking - of the petri net used wihtin semantics

Returns:

corresponding int array

convert

public org.processmining.models.semantics.petrinet.Marking convert(byte[] marking)

Description copied from interface: EfficientStochasticPetriNetSemantics

convert a primative int array to a marking object based on the internal index representation of the petri net's places.

Specified by:

convert in interface EfficientStochasticPetriNetSemantics

Parameters:

marking - to transform (int arr)

Returns:

fresh marking object

getTransitionWeight

public double getTransitionWeight(int transitionIndex)

Specified by:

getTransitionWeight in interface EfficientStochasticPetriNetSemantics

Returns:

isInvisible

public boolean isInvisible(int transitionIndex)

Specified by:

isInvisible in interface EfficientStochasticPetriNetSemantics

Returns:

getLabel

public java.lang.String getLabel(int transitionIndex)

Specified by:

getLabel in interface EfficientStochasticPetriNetSemantics

Returns:

clone

public EfficientStochasticPetriNetSemanticsImpl clone()

Description copied from interface: EfficientStochasticPetriNetSemantics

May create a shallow copy, except the state, which must be deep copied.

Specified by:

clone in interface EfficientStochasticPetriNetSemantics

Overrides:

clone in class java.lang.Object

Returns:

getTransitionMap

public gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionMap()