Package org.processmining.precision.algorithms

Class EscapingEdgesPrecisionAlgorithm

java.lang.Object

org.processmining.precision.algorithms.EscapingEdgesPrecisionAlgorithm

Direct Known Subclasses:

EscapingEdgesPrecisionPlugin

public class EscapingEdgesPrecisionAlgorithm
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
EscapingEdgesPrecisionAlgorithm()

Method Summary

Modifier and Type	Method	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

Methods inherited from class java.lang.Object

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

Constructor Detail

EscapingEdgesPrecisionAlgorithm

public EscapingEdgesPrecisionAlgorithm()

Method Detail

getModelTrace

public java.util.List<java.lang.String> getModelTrace(org.processmining.plugins.replayer.replayresult.SyncReplayResult traceAlignment)

addPrefix

public EscapingEdgesPrecisionState addPrefix(EscapingEdgesPrecisionAutomaton automaton,
                                             EscapingEdgesPrecisionState curState,
                                             java.lang.String action)

Adding prefix of state to automaton

Parameters:

automaton -

curState - : current automaton state

action - : new action to add to prefix

buildAutomaton

public void buildAutomaton(java.util.List<java.lang.String> modelTrace,
                           EscapingEdgesPrecisionAutomaton automaton)

Add the states of the model trace to automaton

Parameters:

modelTrace - : a list of localId of transitions

automaton - : automaton to build onto

getTransition

public 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

Parameters:

localId - : local id of transition

transitions - : list of transitions

Returns:

Transition with nodeId or null

replayNetToPrefix

public 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

Replay petrinet semantics to the marking after transition is fired

Parameters:

semantics - : petrinet semantics

transition - : transition to be fired

marking - : marking in which transition is enabled

Returns:

Marking after transition is fired

Throws:

org.processmining.models.semantics.IllegalTransitionException

addEscapingArcs

public void addEscapingArcs(EscapingEdgesPrecisionAutomaton automaton,
                            org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)
                     throws org.processmining.models.semantics.IllegalTransitionException

Replay automaton on net to add escaping arcs

Parameters:

automaton - : automaton

net - : accepting petrinet

Throws:

org.processmining.models.semantics.IllegalTransitionException

computeEscapingArcsPrecision

public double computeEscapingArcsPrecision(EscapingEdgesPrecisionAutomaton automaton)

Compute the escaping arcs precision using a set of executed states and available states considering their weights

Parameters:

executedStates - : a set of executed states

availableStates - : a set of available states

apply

public 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

Throws:

org.processmining.models.semantics.IllegalTransitionException