Package org.processmining.ocel.replay

Class ReplayView

java.lang.Object

org.processmining.ocel.replay.ReplayView

public class ReplayView
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
java.util.Set<java.lang.String>	activities
org.deckfour.xes.model.XLog	filteredLog
org.processmining.models.semantics.petrinet.Marking	fm
org.processmining.models.semantics.petrinet.Marking	im
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph	net
TokenBasedReplayResultLog	tbrResults

Constructor Summary

Constructors

Constructor	Description
ReplayView(org.deckfour.xes.model.XLog log, java.util.Set<java.lang.String> activities)

Method Summary

Modifier and Type	Method	Description
void	minePetriUsingInductive()
void	performTbr()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

filteredLog

public org.deckfour.xes.model.XLog filteredLog

activities

public java.util.Set<java.lang.String> activities

net

public org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net

im

public org.processmining.models.semantics.petrinet.Marking im

fm

public org.processmining.models.semantics.petrinet.Marking fm

tbrResults

public TokenBasedReplayResultLog tbrResults

Constructor Detail

ReplayView

public ReplayView(org.deckfour.xes.model.XLog log,
                  java.util.Set<java.lang.String> activities)

Method Detail

minePetriUsingInductive

public void minePetriUsingInductive()

performTbr

public void performTbr()