public class PNReplayer
extends java.lang.Object
Constructor and Description |
---|
PNReplayer(org.deckfour.xes.model.XLog xlog,
org.processmining.models.graphbased.directed.petrinet.Petrinet pnet,
org.processmining.models.semantics.petrinet.Marking initMarking,
java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarking) |
Modifier and Type | Method and Description |
---|---|
boolean |
fitTraceVariant(org.processmining.plugins.replayer.replayresult.SyncReplayResult variantAlignment) |
org.processmining.plugins.petrinet.replayresult.PNRepResult |
replay() |