public class PetrinetExecutionInformation
extends java.lang.Object
implements org.processmining.models.semantics.ExecutionInformation
Constructor and Description |
---|
PetrinetExecutionInformation(Marking necessary,
Marking consumed,
Marking produced,
Transition t) |
Modifier and Type | Method and Description |
---|---|
Marking |
getNecessary() |
Marking |
getTokensConsumed() |
Marking |
getTokensProduced() |
java.lang.String |
toString() |
public PetrinetExecutionInformation(Marking necessary, Marking consumed, Marking produced, Transition t)