public class EscapingEdgesPrecisionAlgorithm
extends java.lang.Object
Constructor and Description |
---|
EscapingEdgesPrecisionAlgorithm() |
Modifier and Type | Method and Description |
---|---|
void |
addEscapingArcs(EscapingEdgesPrecisionAutomaton automaton,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)
Replay automaton on net to add escaping arcs
|
EscapingEdgesPrecisionState |
addPrefix(EscapingEdgesPrecisionAutomaton automaton,
EscapingEdgesPrecisionState curState,
java.lang.String action)
Adding prefix of state to automaton
|
EscapingEdgesPrecisionResult |
apply(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.petrinet.replayresult.PNRepResult alignments,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
EscapingEdgesPrecisionParameters parameters) |
void |
buildAutomaton(java.util.List<java.lang.String> modelTrace,
EscapingEdgesPrecisionAutomaton automaton)
Add the states of the model trace to automaton
|
double |
computeEscapingArcsPrecision(EscapingEdgesPrecisionAutomaton automaton)
Compute the escaping arcs precision using a set of executed states and available states considering their weights
|
java.util.List<java.lang.String> |
getModelTrace(org.processmining.plugins.replayer.replayresult.SyncReplayResult traceAlignment) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition(java.lang.String localId,
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions)
Get the transition by string nodeId
|
org.processmining.models.semantics.petrinet.Marking |
replayNetToPrefix(org.processmining.models.semantics.petrinet.PetrinetSemantics semantics,
org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
org.processmining.models.semantics.petrinet.Marking marking)
Replay petrinet semantics to the marking after transition is fired
|
public java.util.List<java.lang.String> getModelTrace(org.processmining.plugins.replayer.replayresult.SyncReplayResult traceAlignment)
public EscapingEdgesPrecisionState addPrefix(EscapingEdgesPrecisionAutomaton automaton, EscapingEdgesPrecisionState curState, java.lang.String action)
automaton
- curState:
- current automaton stateaction:
- new action to add to prefixpublic void buildAutomaton(java.util.List<java.lang.String> modelTrace, EscapingEdgesPrecisionAutomaton automaton)
modelTrace:
- a list of localId of transitionsautomaton:
- automaton to build ontopublic org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(java.lang.String localId, java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions)
localId:
- local id of transitiontransitions:
- list of transitionspublic org.processmining.models.semantics.petrinet.Marking replayNetToPrefix(org.processmining.models.semantics.petrinet.PetrinetSemantics semantics, org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.semantics.petrinet.Marking marking) throws org.processmining.models.semantics.IllegalTransitionException
semantics:
- petrinet semanticstransition:
- transition to be firedmarking:
- marking in which transition is enabledorg.processmining.models.semantics.IllegalTransitionException
public void addEscapingArcs(EscapingEdgesPrecisionAutomaton automaton, org.processmining.acceptingpetrinet.models.AcceptingPetriNet net) throws org.processmining.models.semantics.IllegalTransitionException
automaton:
- automatonnet:
- accepting petrinetorg.processmining.models.semantics.IllegalTransitionException
public double computeEscapingArcsPrecision(EscapingEdgesPrecisionAutomaton automaton)
executedStates:
- a set of executed statesavailableStates:
- a set of available statespublic EscapingEdgesPrecisionResult apply(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.petrinet.replayresult.PNRepResult alignments, org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, EscapingEdgesPrecisionParameters parameters) throws org.processmining.models.semantics.IllegalTransitionException
org.processmining.models.semantics.IllegalTransitionException