Package org.processmining.stochasticlabelledpetrinets

Class StochasticLabelledPetriNetImpl

java.lang.Object

org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

All Implemented Interfaces:

StochasticLabelledPetriNet, StochasticLabelledPetriNetEditable

Direct Known Subclasses:

StochasticLabelledPetriNetSimpleWeightsImpl

public abstract class StochasticLabelledPetriNetImpl
extends java.lang.Object
implements StochasticLabelledPetriNetEditable

Constructor Summary

Constructors

Constructor	Description
StochasticLabelledPetriNetImpl()

Method Summary

Modifier and Type	Method	Description
int	addPlace()
void	addPlaceToInitialMarking(int place)	Adds a token to the given place in the final marking.
void	addPlaceToInitialMarking(int place, int cardinality)
void	addPlaceTransitionArc(int place, int transition)
void	addPlaceTransitionArc(int place, int transition, int cardinality)
int	addTransition(double weight)	Add a silent transition.
int	addTransition(java.lang.String label, double weight)	Add a labelled transition.
void	addTransitionPlaceArc(int transition, int place)
void	addTransitionPlaceArc(int transition, int place, int cardinality)
int[]	getInputPlaces(int transition)
int[]	getInputTransitions(int place)
int	getNumberOfPlaces()
int	getNumberOfTransitions()
int[]	getOutputPlaces(int transition)
int[]	getOutputTransitions(int place)
java.lang.String	getTransitionLabel(int transition)	Only call when it is certain that the transition is not a silent transition.
int	isInInitialMarking(int place)
boolean	isTransitionSilent(int transition)
void	makeTransitionSilent(int transition)
void	setTransitionLabel(int transition, java.lang.String label)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getDefaultSemantics

Constructor Detail

StochasticLabelledPetriNetImpl

public StochasticLabelledPetriNetImpl()

Method Detail

getNumberOfTransitions

public int getNumberOfTransitions()

Specified by:

getNumberOfTransitions in interface StochasticLabelledPetriNet

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 StochasticLabelledPetriNet

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)

Description copied from interface: StochasticLabelledPetriNet

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

Specified by:

getTransitionLabel in interface StochasticLabelledPetriNet

Returns:

the label of the transition.

isTransitionSilent

public boolean isTransitionSilent(int transition)

Specified by:

isTransitionSilent in interface StochasticLabelledPetriNet

Returns:

whether the transition is a silent transition

isInInitialMarking

public int isInInitialMarking(int place)

Specified by:

isInInitialMarking in interface StochasticLabelledPetriNet

Returns:

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

getInputPlaces

public int[] getInputPlaces(int transition)

Specified by:

getInputPlaces in interface StochasticLabelledPetriNet

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 StochasticLabelledPetriNet

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 StochasticLabelledPetriNet

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 StochasticLabelledPetriNet

Returns:

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

setTransitionLabel

public void setTransitionLabel(int transition,
                               java.lang.String label)

Specified by:

setTransitionLabel in interface StochasticLabelledPetriNetEditable

makeTransitionSilent

public void makeTransitionSilent(int transition)

Specified by:

makeTransitionSilent in interface StochasticLabelledPetriNetEditable

addTransition

public int addTransition(java.lang.String label,
                         double weight)

Description copied from interface: StochasticLabelledPetriNetEditable

Add a labelled transition.

Specified by:

addTransition in interface StochasticLabelledPetriNetEditable

Returns:

the index of the transition.

addTransition

public int addTransition(double weight)

Description copied from interface: StochasticLabelledPetriNetEditable

Add a silent transition.

Specified by:

addTransition in interface StochasticLabelledPetriNetEditable

Returns:

the index of the transition.

addPlace

public int addPlace()

Specified by:

addPlace in interface StochasticLabelledPetriNetEditable

Returns:

the index of the place.

addPlaceToInitialMarking

public void addPlaceToInitialMarking(int place,
                                     int cardinality)

Specified by:

addPlaceToInitialMarking in interface StochasticLabelledPetriNetEditable

cardinality - May be negative, however ensure the final marking contains a positive number of tokens in each place.

addPlaceToInitialMarking

public void addPlaceToInitialMarking(int place)

Description copied from interface: StochasticLabelledPetriNetEditable

Adds a token to the given place in the final marking.

Specified by:

addPlaceToInitialMarking in interface StochasticLabelledPetriNetEditable

addPlaceTransitionArc

public void addPlaceTransitionArc(int place,
                                  int transition)

Specified by:

addPlaceTransitionArc in interface StochasticLabelledPetriNetEditable

addPlaceTransitionArc

public void addPlaceTransitionArc(int place,
                                  int transition,
                                  int cardinality)

Specified by:

addPlaceTransitionArc in interface StochasticLabelledPetriNetEditable

cardinality - May be negative.

addTransitionPlaceArc

public void addTransitionPlaceArc(int transition,
                                  int place)

Specified by:

addTransitionPlaceArc in interface StochasticLabelledPetriNetEditable

addTransitionPlaceArc

public void addTransitionPlaceArc(int transition,
                                  int place,
                                  int cardinality)

Specified by:

addTransitionPlaceArc in interface StochasticLabelledPetriNetEditable

cardinality - May be negative.