public class EfficientDiscreteStochasticNetSemanticsImpl extends EfficientStochasticNetSemanticsImpl
Modifier and Type | Field and Description |
---|---|
protected EfficientTimedMarking |
currentTimedMarking |
currentMarking, dependentTransitions, placePositionInArray, places, transitionInputs, transitionMatrix, transitionOutputs, transitionPositionInArray, transitions
Constructor and Description |
---|
EfficientDiscreteStochasticNetSemanticsImpl() |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.PetrinetExecutionInformation |
executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute) |
int |
executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute,
int transitionDuration) |
int |
executeExecutableTransitionAtTime(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute,
java.lang.Integer timeOfFiring) |
int |
getDurationOfTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute,
java.lang.Short[] modelPlaceIds,
int timeOfFiring) |
EfficientTimedMarking |
getInternalState() |
short[][] |
getTransitionMatrix() |
void |
initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
org.processmining.models.semantics.petrinet.Marking state)
Initializes this semantics.
|
void |
initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
org.processmining.models.semantics.petrinet.Marking state,
int time) |
void |
setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState) |
void |
setCurrentState(short[] currentState) |
void |
setInternalState(EfficientTimedMarking state) |
clone, getCurrentInternalState, getCurrentState, getEnabledTransitions, getEnabledTransitionsByOnlyLookingAtPossibleCandidates, getEnabledTransitionsBySearchingThroughHashMaps, getEnabledTransitionsBySearchingThroughMatrix, getExecutableTransitions, getPlaceId, getTransition, getTransitionCandidates, getTransitionId, getTransitions, getTransitionsOfHighestPriority
protected EfficientTimedMarking currentTimedMarking
public EfficientDiscreteStochasticNetSemanticsImpl()
public void initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions, org.processmining.models.semantics.petrinet.Marking state)
org.processmining.models.semantics.Semantics
initialize
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
initialize
in class EfficientStochasticNetSemanticsImpl
public void initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions, org.processmining.models.semantics.petrinet.Marking state, int time)
public org.processmining.models.semantics.petrinet.PetrinetExecutionInformation executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute)
executeExecutableTransition
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
executeExecutableTransition
in class EfficientStochasticNetSemanticsImpl
public int executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute, int transitionDuration) throws org.processmining.models.semantics.IllegalTransitionException
org.processmining.models.semantics.IllegalTransitionException
public int executeExecutableTransitionAtTime(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute, java.lang.Integer timeOfFiring) throws org.processmining.models.semantics.IllegalTransitionException
org.processmining.models.semantics.IllegalTransitionException
public int getDurationOfTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute, java.lang.Short[] modelPlaceIds, int timeOfFiring)
public EfficientTimedMarking getInternalState()
public void setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState)
setCurrentState
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
setCurrentState
in class EfficientStochasticNetSemanticsImpl
public void setCurrentState(short[] currentState)
setCurrentState
in class EfficientStochasticNetSemanticsImpl
public void setInternalState(EfficientTimedMarking state)
public short[][] getTransitionMatrix()