StochasticLabelledPetriNetEditable (StochasticLabelledPetriNets)

All Superinterfaces:

StochasticLabelledPetriNet

All Known Subinterfaces:

StochasticLabelledPetriNetSimpleWeightsEditable

All Known Implementing Classes:

StochasticLabelledPetriNetImpl, StochasticLabelledPetriNetSimpleWeightsImpl
```
public interface StochasticLabelledPetriNetEditable
extends StochasticLabelledPetriNet
```

Method Summary

All Methods Instance Methods Abstract Methods
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)`
`void`	`makeTransitionSilent(int transition)`
`void`	`setTransitionLabel(int transition, java.lang.String label)`

Methods inherited from interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet
getDefaultSemantics, getInputPlaces, getInputTransitions, getNumberOfPlaces, getNumberOfTransitions, getOutputPlaces, getOutputTransitions, getTransitionLabel, isInInitialMarking, isTransitionSilent

Method Detail

setTransitionLabel

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

makeTransitionSilent

void makeTransitionSilent(int transition)

addTransition
```
int addTransition(java.lang.String label,
                  double weight)
```
Add a labelled transition.

Parameters:

label -

weight -

Returns:

the index of the transition.

addTransition
```
int addTransition(double weight)
```
Add a silent transition.

Parameters:

weight -

Returns:

the index of the transition.

addPlace
```
int addPlace()
```
Returns:

the index of the place.

addPlaceToInitialMarking
```
void addPlaceToInitialMarking(int place,
                              int cardinality)
```
Parameters:

place -

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

addPlaceToInitialMarking
```
void addPlaceToInitialMarking(int place)
```
Adds a token to the given place in the final marking.

Parameters:

place -

addPlaceTransitionArc

void addPlaceTransitionArc(int place,
                           int transition)

addPlaceTransitionArc

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

Parameters:: place -; transition -; cardinality - May be negative.

addTransitionPlaceArc

void addTransitionPlaceArc(int transition,
                           int place)

addTransitionPlaceArc

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

Parameters:: transition -; place -; cardinality - May be negative.