Package 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

Constructor Summary

Constructors

Constructor	Description
PetrinetExecutionInformation(Marking necessary, Marking consumed, Marking produced, Transition t)

Method Summary

Modifier and Type	Method	Description
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()