public class ReplayAutomaton
extends java.lang.Object
Constructor and Description |
---|
ReplayAutomaton(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.petrinet.replayresult.PNMatchInstancesRepResult allAlignments,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Construct an automaton reflecting the behavior of the alignments
|
Modifier and Type | Method and Description |
---|---|
void |
conformance(AlignETCResult res) |
void |
cut(double threshold)
Cut the nodes with weight under a given threshold with respect to its parent.
|
void |
cutRec(ReplayAutomatonNode node,
double threshold)
Recursive function for the automaton cutting.
|
void |
extend(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking iniMark)
Extend the replay automaton with the Petri net behavior, i.e., for each
of the automaton, we incorporate also the enabled transitions that
has never been fired by any replay.
|
void |
extendNode(ReplayAutomatonNode node,
org.processmining.models.semantics.petrinet.Marking mark,
org.processmining.models.semantics.petrinet.PetrinetSemantics sem) |
void |
extendRec(ReplayAutomatonNode node,
org.processmining.models.semantics.petrinet.Marking currMark,
org.processmining.models.semantics.petrinet.PetrinetSemantics sem) |
public ReplayAutomaton(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.petrinet.replayresult.PNMatchInstancesRepResult allAlignments, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
alignments
- Aligments between the log cases and the Petri net.org.processmining.framework.connections.ConnectionCannotBeObtained
public void cut(double threshold)
threshold
- Threshold percentage for the cutting.public void cutRec(ReplayAutomatonNode node, double threshold)
node
- Current node we are processing.threshold
- Threshold for the cutting.public void extend(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking iniMark) throws org.processmining.models.semantics.IllegalTransitionException
net
- Petri net used to extend the automaton (originaly the one
used to compute the petri net replays).iniMark
- Initial marking of the Petri net.org.processmining.models.semantics.IllegalTransitionException
public void extendRec(ReplayAutomatonNode node, org.processmining.models.semantics.petrinet.Marking currMark, org.processmining.models.semantics.petrinet.PetrinetSemantics sem) throws org.processmining.models.semantics.IllegalTransitionException
org.processmining.models.semantics.IllegalTransitionException
public void extendNode(ReplayAutomatonNode node, org.processmining.models.semantics.petrinet.Marking mark, org.processmining.models.semantics.petrinet.PetrinetSemantics sem)
public void conformance(AlignETCResult res)