org.processmining.framework.models.petrinet
Class Token

java.lang.Object
  extended by org.processmining.framework.models.petrinet.Token
All Implemented Interfaces:
java.lang.Cloneable

public class Token
extends java.lang.Object
implements java.lang.Cloneable

Token can be held by places. Since they are consumed and produced if a transition fires, they flow through the PetriNet. The current position of all tokens in the net are denoted as the current marking of the net, and this determines the current state of the dynamic structure.

See Also:
Place, Transition, PetriNet

Constructor Summary
Token()
           
Token(java.util.Date timestamp)
           
 
Method Summary
 java.lang.Object clone()
          Make a deep copy of the object.
 java.util.Date getTimestamp()
           
 boolean isTimed()
           
 void setTimestamp(java.util.Date value)
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Token

public Token(java.util.Date timestamp)

Token

public Token()
Method Detail

isTimed

public boolean isTimed()

getTimestamp

public java.util.Date getTimestamp()

setTimestamp

public void setTimestamp(java.util.Date value)

clone

public java.lang.Object clone()
Make a deep copy of the object. Note that this method needs to be extended as soon as there are attributes added to the class which are not primitive or immutable.

Overrides:
clone in class java.lang.Object
Returns:
Object The cloned object.