org.processmining.models.semantics.petrinet
Class PetrinetExecutionInformation

java.lang.Object
  extended by org.processmining.models.semantics.petrinet.PetrinetExecutionInformation
All Implemented Interfaces:
org.processmining.models.semantics.ExecutionInformation

public class PetrinetExecutionInformation
extends java.lang.Object
implements org.processmining.models.semantics.ExecutionInformation


Constructor Summary
PetrinetExecutionInformation(Marking necessary, Marking consumed, Marking produced, Transition t)
           
 
Method Summary
 Marking getNecessary()
           
 Marking getTokensConsumed()
           
 Marking getTokensProduced()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PetrinetExecutionInformation

public PetrinetExecutionInformation(Marking necessary,
                                    Marking consumed,
                                    Marking produced,
                                    Transition t)
Method Detail

getTokensConsumed

public Marking getTokensConsumed()

getTokensProduced

public Marking getTokensProduced()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getNecessary

public Marking getNecessary()