void |
ReplayAutomatonNode.addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans,
ReplayAutomatonNode target,
ReplayAutomatonArc.ArcType type) |
void |
ReplayAutomaton.cutRec(ReplayAutomatonNode node,
double threshold)
Recursive function for the automaton cutting.
|
void |
ReplayAutomaton.extendNode(ReplayAutomatonNode node,
org.processmining.models.semantics.petrinet.Marking mark,
org.processmining.models.semantics.petrinet.PetrinetSemantics sem) |
void |
ReplayAutomaton.extendRec(ReplayAutomatonNode node,
org.processmining.models.semantics.petrinet.Marking currMark,
org.processmining.models.semantics.petrinet.PetrinetSemantics sem) |