Package org.processmining.stochasticlabelleddatapetrinet

Class StochasticLabelledDataPetriNetImpl

java.lang.Object

org.processmining.stochasticlabelleddatapetrinet.StochasticLabelledDataPetriNetImpl

All Implemented Interfaces:

StochasticLabelledDataPetriNet

Direct Known Subclasses:

StochasticLabelledDataPetriNetWeightsDataDependent, StochasticLabelledDataPetriNetWeightsDataIndependent

public abstract class StochasticLabelledDataPetriNetImpl
extends java.lang.Object
implements StochasticLabelledDataPetriNet

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static interface	StochasticLabelledDataPetriNetImpl.SLPN

Nested classes/interfaces inherited from interface org.processmining.stochasticlabelleddatapetrinet.StochasticLabelledDataPetriNet

StochasticLabelledDataPetriNet.VariableType

Constructor Summary

Constructors

Constructor	Description
StochasticLabelledDataPetriNetImpl(StochasticLabelledDataPetriNet sldpn)	Copy constructor from an existing SLDPN and the given data elements providing an immutable SLDPN.
StochasticLabelledDataPetriNetImpl(StochasticLabelledDataPetriNetImpl.SLPN slpn, java.util.List<java.lang.String> variableLabels, java.util.List<StochasticLabelledDataPetriNet.VariableType> variableTypes, java.util.List<int[]> transitionReadVariables, java.util.List<int[]> transitionWriteVariables)
StochasticLabelledDataPetriNetImpl(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet sldpn, java.util.List<java.lang.String> variableLabels, java.util.List<StochasticLabelledDataPetriNet.VariableType> variableTypes, java.util.List<int[]> readVariables, java.util.List<int[]> writeVariables)	Copy constructor from an existing SLDPN and the given data elements providing an immutable SLDPN.

Method Summary

Modifier and Type	Method	Description
org.processmining.datapetrinets.expression.GuardExpression	getGuardExpression(int transition)
int[]	getInputPlaces(int transition)
int[]	getInputTransitions(int place)
int	getNumberOfPlaces()
int	getNumberOfTransitions()
int	getNumberOfVariables()	Data elements
int[]	getOutputPlaces(int transition)
int[]	getOutputTransitions(int place)
int[]	getReadVariables(int transition)
java.lang.String	getTransitionLabel(int transition)
java.lang.String	getVariableLabel(int variable)
StochasticLabelledDataPetriNet.VariableType	getVariableType(int variable)
int[]	getWriteVariables(int transition)
int	isInInitialMarking(int place)
boolean	isTransitionSilent(int transition)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.stochasticlabelleddatapetrinet.StochasticLabelledDataPetriNet

getDefaultSemantics, getDefaultSerializer

Constructor Detail

StochasticLabelledDataPetriNetImpl

public StochasticLabelledDataPetriNetImpl(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet sldpn,
                                          java.util.List<java.lang.String> variableLabels,
                                          java.util.List<StochasticLabelledDataPetriNet.VariableType> variableTypes,
                                          java.util.List<int[]> readVariables,
                                          java.util.List<int[]> writeVariables)

Copy constructor from an existing SLDPN and the given data elements providing an immutable SLDPN.

Parameters:

slpn -

variableLabels -

variableTypes -

transitionReadVariables -

transitionWriteVariables -

StochasticLabelledDataPetriNetImpl

public StochasticLabelledDataPetriNetImpl(StochasticLabelledDataPetriNet sldpn)

Copy constructor from an existing SLDPN and the given data elements providing an immutable SLDPN.

Parameters:

slpn -

variableLabels -

variableTypes -

transitionReadVariables -

transitionWriteVariables -

StochasticLabelledDataPetriNetImpl

public StochasticLabelledDataPetriNetImpl(StochasticLabelledDataPetriNetImpl.SLPN slpn,
                                          java.util.List<java.lang.String> variableLabels,
                                          java.util.List<StochasticLabelledDataPetriNet.VariableType> variableTypes,
                                          java.util.List<int[]> transitionReadVariables,
                                          java.util.List<int[]> transitionWriteVariables)

Method Detail

getNumberOfTransitions

public int getNumberOfTransitions()

Specified by:

getNumberOfTransitions in interface StochasticLabelledDataPetriNet

Returns:

the number of transitions. All transitions have indices starting at 0 and ending at the returned value (exclusive).

getNumberOfPlaces

public int getNumberOfPlaces()

Specified by:

getNumberOfPlaces in interface StochasticLabelledDataPetriNet

Returns:

the number of places. All places have indices starting at 0 and ending at the returned value (exclusive).

getTransitionLabel

public java.lang.String getTransitionLabel(int transition)

Specified by:

getTransitionLabel in interface StochasticLabelledDataPetriNet

Parameters:

transition - the index of the transition

Returns:

the label of the transition or NULL if there is not label assigned

isTransitionSilent

public boolean isTransitionSilent(int transition)

Specified by:

isTransitionSilent in interface StochasticLabelledDataPetriNet

Parameters:

transition - the index of the transition

Returns:

whether the transition is a silent transition

isInInitialMarking

public int isInInitialMarking(int place)

Specified by:

isInInitialMarking in interface StochasticLabelledDataPetriNet

Parameters:

place - the index of the place

Returns:

the number of tokens on this place in the initial marking.

getInputPlaces

public int[] getInputPlaces(int transition)

Specified by:

getInputPlaces in interface StochasticLabelledDataPetriNet

Parameters:

transition - the index of the transition

Returns:

a list of places that have arcs to this transition. Transitions may appear multiple times. The caller must not change the returned array.

getOutputPlaces

public int[] getOutputPlaces(int transition)

Specified by:

getOutputPlaces in interface StochasticLabelledDataPetriNet

Parameters:

transition - the index of the transition

Returns:

a list of places that have arcs from this transition. Transitions may appear multiple times. The caller must not change the returned array.

getInputTransitions

public int[] getInputTransitions(int place)

Specified by:

getInputTransitions in interface StochasticLabelledDataPetriNet

Parameters:

place - the index of the place

Returns:

a list of transitions that have arcs to this place. Places may appear multiple times. The caller must not change the returned array.

getOutputTransitions

public int[] getOutputTransitions(int place)

Specified by:

getOutputTransitions in interface StochasticLabelledDataPetriNet

Parameters:

place - the index of the place

Returns:

a list of transitions that have arcs from this place. Places may appear multiple times. The caller must not change the returned array.

getNumberOfVariables

public int getNumberOfVariables()

Description copied from interface: StochasticLabelledDataPetriNet

Data elements

Specified by:

getNumberOfVariables in interface StochasticLabelledDataPetriNet

getVariableLabel

public java.lang.String getVariableLabel(int variable)

Specified by:

getVariableLabel in interface StochasticLabelledDataPetriNet

getVariableType

public StochasticLabelledDataPetriNet.VariableType getVariableType(int variable)

Specified by:

getVariableType in interface StochasticLabelledDataPetriNet

getReadVariables

public int[] getReadVariables(int transition)

Specified by:

getReadVariables in interface StochasticLabelledDataPetriNet

getWriteVariables

public int[] getWriteVariables(int transition)

Specified by:

getWriteVariables in interface StochasticLabelledDataPetriNet

getGuardExpression

public org.processmining.datapetrinets.expression.GuardExpression getGuardExpression(int transition)

Specified by:

getGuardExpression in interface StochasticLabelledDataPetriNet