public interface EfficientStochasticPetriNetSemantics
extends java.lang.Cloneable
Modifier and Type | Method and Description |
---|---|
EfficientStochasticPetriNetSemantics |
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() |
double |
getTransitionWeight(int transitionIndex) |
boolean |
isInvisible(int transitionIndex) |
void |
setState(byte[] state)
Sets the state to the supplied state (marking).
|
void executeTransition(int transitionIndex)
transitionIndex
- double getTransitionWeight(int transitionIndex)
transitionIndex
- int[] getEnabledTransitions()
byte[] getState()
void setState(byte[] state)
state
- byte[] convert(org.processmining.models.semantics.petrinet.Marking marking)
marking
- of the petri net used wihtin semanticsorg.processmining.models.semantics.petrinet.Marking convert(byte[] marking)
marking
- to transform (int arr)boolean isInvisible(int transitionIndex)
transitionIndex
- java.lang.String getLabel(int transitionIndex)
transitionIndex
- EfficientStochasticPetriNetSemantics clone()