org.processmining.models.semantics.petrinet
Class PetrinetExecutionInformation
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PetrinetExecutionInformation
public PetrinetExecutionInformation(Marking necessary,
Marking consumed,
Marking produced,
Transition t)
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()