public class EfficientStochasticPetriNetSemanticsImpl extends java.lang.Object implements EfficientStochasticPetriNetSemantics
Constructor and 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 . |
Modifier and Type | Method and 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).
|
public EfficientStochasticPetriNetSemanticsImpl(org.processmining.models.graphbased.directed.petrinet.StochasticNet net, org.processmining.models.semantics.petrinet.Marking initialMarking)
StochasticNet
and initial
Marking
. This semantics class treat all StochasticNet
s as
a StochasticNet
(so does not honor the semantics of reset or
inhibitor nets).net
- with the graph structureinitialMarking
- public void executeTransition(int transitionIndex)
EfficientStochasticPetriNetSemantics
executeTransition
in interface EfficientStochasticPetriNetSemantics
public int[] getEnabledTransitions()
getEnabledTransitions
in interface EfficientStochasticPetriNetSemantics
public byte[] getState()
getState
in interface EfficientStochasticPetriNetSemantics
public void setState(byte[] marking)
EfficientStochasticPetriNetSemantics
setState
in interface EfficientStochasticPetriNetSemantics
public byte[] convert(org.processmining.models.semantics.petrinet.Marking marking)
EfficientStochasticPetriNetSemantics
convert
in interface EfficientStochasticPetriNetSemantics
marking
- of the petri net used wihtin semanticspublic org.processmining.models.semantics.petrinet.Marking convert(byte[] marking)
EfficientStochasticPetriNetSemantics
convert
in interface EfficientStochasticPetriNetSemantics
marking
- to transform (int arr)public double getTransitionWeight(int transitionIndex)
getTransitionWeight
in interface EfficientStochasticPetriNetSemantics
public boolean isInvisible(int transitionIndex)
isInvisible
in interface EfficientStochasticPetriNetSemantics
public java.lang.String getLabel(int transitionIndex)
getLabel
in interface EfficientStochasticPetriNetSemantics
public EfficientStochasticPetriNetSemanticsImpl clone()
EfficientStochasticPetriNetSemantics
clone
in interface EfficientStochasticPetriNetSemantics
clone
in class java.lang.Object
public gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionMap()