Package org.processmining.models.semantics.petrinet.impl

Class EfficientDiscreteStochasticNetSemanticsImpl

java.lang.Object

org.processmining.models.semantics.petrinet.impl.EfficientStochasticNetSemanticsImpl

org.processmining.models.semantics.petrinet.impl.EfficientDiscreteStochasticNetSemanticsImpl

All Implemented Interfaces:

java.io.Serializable, StochasticNetSemantics, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

public class EfficientDiscreteStochasticNetSemanticsImpl
extends EfficientStochasticNetSemanticsImpl

Stores a marking encoding temporal states in a discrete domain. An array of sorted multisets stores the current marking/state of the net.

Author:

Andreas Rogge-Solti

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected EfficientTimedMarking	currentTimedMarking

Fields inherited from class org.processmining.models.semantics.petrinet.impl.EfficientStochasticNetSemanticsImpl

currentMarking, dependentTransitions, placePositionInArray, places, transitionInputs, transitionMatrix, transitionOutputs, transitionPositionInArray, transitions

Constructor Summary

Constructors

Constructor	Description
EfficientDiscreteStochasticNetSemanticsImpl()

Method Summary

Modifier and Type	Method	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(short[] currentState)
void	setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState)
void	setInternalState(EfficientTimedMarking state)

Methods inherited from class org.processmining.models.semantics.petrinet.impl.EfficientStochasticNetSemanticsImpl

clone, getCurrentInternalState, getCurrentState, getEnabledTransitions, getEnabledTransitionsByOnlyLookingAtPossibleCandidates, getEnabledTransitionsBySearchingThroughHashMaps, getEnabledTransitionsBySearchingThroughMatrix, getExecutableTransitions, getPlaceId, getTransition, getTransitionCandidates, getTransitionId, getTransitions, getTransitionsOfHighestPriority

Methods inherited from class java.lang.Object

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

Field Detail

currentTimedMarking

protected EfficientTimedMarking currentTimedMarking

Constructor Detail

EfficientDiscreteStochasticNetSemanticsImpl

public EfficientDiscreteStochasticNetSemanticsImpl()

Method Detail

initialize

public void initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
                       org.processmining.models.semantics.petrinet.Marking state)

Description copied from interface: org.processmining.models.semantics.Semantics

Initializes this semantics. Note that the set of transitions is considered read only, i.e. no changes can be made to it by a Semantics implementation. However, the initial state is not read only.

Specified by:

initialize in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Overrides:

initialize in class EfficientStochasticNetSemanticsImpl

initialize

public void initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
                       org.processmining.models.semantics.petrinet.Marking state,
                       int time)

executeExecutableTransition

public org.processmining.models.semantics.petrinet.PetrinetExecutionInformation executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute)

Specified by:

executeExecutableTransition in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Overrides:

executeExecutableTransition in class EfficientStochasticNetSemanticsImpl

executeExecutableTransition

public int executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute,
                                       int transitionDuration)
                                throws org.processmining.models.semantics.IllegalTransitionException

Returns:

the time of firing

Throws:

org.processmining.models.semantics.IllegalTransitionException

executeExecutableTransitionAtTime

public int executeExecutableTransitionAtTime(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute,
                                             java.lang.Integer timeOfFiring)
                                      throws org.processmining.models.semantics.IllegalTransitionException

Returns:

the duration of the transition

Throws:

org.processmining.models.semantics.IllegalTransitionException

getDurationOfTransition

public int getDurationOfTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute,
                                   java.lang.Short[] modelPlaceIds,
                                   int timeOfFiring)

getInternalState

public EfficientTimedMarking getInternalState()

setCurrentState

public void setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState)

Specified by:

setCurrentState in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Overrides:

setCurrentState in class EfficientStochasticNetSemanticsImpl

setCurrentState

public void setCurrentState(short[] currentState)

Overrides:

setCurrentState in class EfficientStochasticNetSemanticsImpl

setInternalState

public void setInternalState(EfficientTimedMarking state)

getTransitionMatrix

public short[][] getTransitionMatrix()