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

Class EfficientTimedMarking

java.lang.Object

org.processmining.models.semantics.petrinet.impl.EfficientTimedMarking

public class EfficientTimedMarking
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
EfficientTimedMarking(short[] currentMarking, int time)
EfficientTimedMarking(java.util.List<java.lang.Integer>[] state)

Method Summary

Modifier and Type	Method	Description
static void	clearCachedMarkings()
EfficientTimedMarking	clone()
boolean	equalsMarking(short[] marking)	Checks if the number of tokens specified in the marking parameter equals the internal timed marking (ignoring the times on the tokens).
int	executeTransitionAtTime(short[] transitionVector, java.lang.Integer timeOfFiring)	Executes a transition at a given time.
int	executeTransitionWithDuration(short[] transitionVector, int transitionDuration)	Executes a transition with a given duration.
int	getDurationOfFiring(short[] transitionVector, java.lang.Short[] inputPlaces, int firingTime)
int	getNumberOfTokens(int i)
int	length()
void	pack()
short[]	reduceToStructure()
java.lang.String	toString()
void	unpack()

Methods inherited from class java.lang.Object

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

Constructor Detail

EfficientTimedMarking

public EfficientTimedMarking(java.util.List<java.lang.Integer>[] state)

EfficientTimedMarking

public EfficientTimedMarking(short[] currentMarking,
                             int time)

Method Detail

clearCachedMarkings

public static void clearCachedMarkings()

equalsMarking

public boolean equalsMarking(short[] marking)

Checks if the number of tokens specified in the marking parameter equals the internal timed marking (ignoring the times on the tokens).

Parameters:

marking - short[] stores the number of tokens on each place

Returns:

boolean

length

public int length()

clone

public EfficientTimedMarking clone()

Overrides:

clone in class java.lang.Object

executeTransitionWithDuration

public int executeTransitionWithDuration(short[] transitionVector,
                                         int transitionDuration)
                                  throws org.processmining.models.semantics.IllegalTransitionException

Executes a transition with a given duration.

Parameters:

transitionVector - vector capturing the inputs and outputs of a transition

transitionDuration -

Returns:

int the time of firing

Throws:

org.processmining.models.semantics.IllegalTransitionException

executeTransitionAtTime

public int executeTransitionAtTime(short[] transitionVector,
                                   java.lang.Integer timeOfFiring)
                            throws org.processmining.models.semantics.IllegalTransitionException

Executes a transition at a given time.

Parameters:

transitionVector - vector capturing the inputs and outputs of a transition

timeOfFiring - the time of firing of the transition

Returns:

int the duration of the transition

Throws:

org.processmining.models.semantics.IllegalTransitionException

getDurationOfFiring

public int getDurationOfFiring(short[] transitionVector,
                               java.lang.Short[] inputPlaces,
                               int firingTime)

getNumberOfTokens

public int getNumberOfTokens(int i)

reduceToStructure

public short[] reduceToStructure()

pack

public void pack()

unpack

public void unpack()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object