org.processmining.analysis.performance
Class ExtendedPNEdge

java.lang.Object
  extended by att.grappa.Element
      extended by att.grappa.Edge
          extended by org.processmining.framework.models.ModelGraphEdge
              extended by org.processmining.framework.models.petrinet.PNEdge
                  extended by org.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedEdge
                      extended by org.processmining.analysis.performance.ExtendedPNEdge
All Implemented Interfaces:
att.grappa.GrappaConstants, java.lang.Cloneable

public class ExtendedPNEdge
extends ReplayedEdge

This class is used to enhance edges with performance information, e.g. routing probabilities, which are to be stored during log replay and will be displayed in the extended Petri net.

Author:
Peter T.G. Hornix (p.t.g.hornix@student.tue.nl)
See Also:
ExtendedPetriNet, ExtendedTransition, ExtendedPlace

Field Summary
 
Fields inherited from class org.processmining.framework.models.ModelGraphEdge
object2, style, value, visualObject
 
Fields inherited from class att.grappa.Edge
defaultNamePrefix, headNode, tailNode
 
Fields inherited from class att.grappa.Element
counter, highlight, linewidth, object, printAllAttributes, printDefaultAttributes, usePrintList, visible
 
Fields inherited from interface att.grappa.GrappaConstants
_NO_TYPE, ANONYMOUS_PREFIX, BBOX_ATTR, BBOX_HASH, BOX_SHAPE, BOX_TYPE, CLUSTERRANK_ATTR, COLOR_ATTR, COLOR_HASH, COLOR_TYPE, CUSTOM_ATTR, CUSTOM_HASH, CUSTOM_SHAPE, DELETION_MASK, DIAMOND_SHAPE, DIR_ATTR, DIR_HASH, DIR_TYPE, DISTORTION_ATTR, DISTORTION_HASH, DOUBLE_TYPE, DOUBLECIRCLE_SHAPE, DOUBLEOCTAGON_SHAPE, EDGE, EGG_SHAPE, FILLCOLOR_ATTR, FILLCOLOR_HASH, FONTCOLOR_ATTR, FONTCOLOR_HASH, FONTNAME_ATTR, FONTNAME_HASH, FONTSIZE_ATTR, FONTSIZE_HASH, FONTSTYLE_ATTR, FONTSTYLE_HASH, FONTSTYLE_TYPE, GRAPPA_BACKGROUND_COLOR_ATTR, GRAPPA_BACKGROUND_COLOR_HASH, GRAPPA_DELETION_STYLE_ATTR, GRAPPA_DELETION_STYLE_HASH, GRAPPA_FONTSIZE_ADJUSTMENT_ATTR, GRAPPA_FONTSIZE_ADJUSTMENT_HASH, GRAPPA_SELECTION_STYLE_ATTR, GRAPPA_SELECTION_STYLE_HASH, GRAPPA_SHAPE, HASHLIST_TYPE, HEIGHT_ATTR, HEIGHT_HASH, HEXAGON_SHAPE, HIGHLIGHT_MASK, HIGHLIGHT_OFF, HIGHLIGHT_ON, HIGHLIGHT_TOGGLE, HOUSE_SHAPE, IDENTXFRM, IMAGE_ATTR, IMAGE_HASH, INTEGER_TYPE, INVERTEDHOUSE_SHAPE, INVERTEDTRAPEZIUM_SHAPE, INVERTEDTRIANGLE_SHAPE, LABEL_ATTR, LABEL_HASH, LINE_SHAPE, LINE_TYPE, LOG10, LP_ATTR, LP_HASH, MARGIN_ATTR, MARGIN_HASH, MCIRCLE_SHAPE, MCLIMIT_ATTR, MCLIMIT_HASH, MDIAMOND_SHAPE, MINBOX_ATTR, MINBOX_HASH, MINLEN_ATTR, MINLEN_HASH, MINSIZE_ATTR, MINSIZE_HASH, MRECORD_SHAPE, MSQUARE_SHAPE, NBSP, NEW_LINE, NO_SHAPE, NODE, NODESEP_ATTR, NODESEP_HASH, OCTAGON_SHAPE, ORIENTATION_ATTR, ORIENTATION_HASH, OVAL_SHAPE, PACKAGE_PREFIX, PARALLELOGRAM_SHAPE, PATCH_ATTR, PATCH_HASH, PENTAGON_SHAPE, PERIPHERIES_ATTR, PERIPHERIES_HASH, PERIPHERY_GAP, PKG_LOWER, PKG_UPLOW, PKG_UPPER, PLAINTEXT_SHAPE, POINT_TYPE, PointsPerInch, POLYGON_SHAPE, POS_ATTR, POS_HASH, PRINTLIST_ATTR, PRINTLIST_HASH, RANKDIR_ATTR, RANKDIR_HASH, RANKSEP_ATTR, RANKSEP_HASH, RECORD_SHAPE, RECTS_ATTR, RECTS_HASH, ROTATION_ATTR, ROTATION_HASH, ROUNDEDBOX_SHAPE, SELECTION_MASK, SHAPE_ATTR, SHAPE_HASH, SHAPE_MASK, SHAPE_TYPE, SIDES_ATTR, SIDES_HASH, SIZE_ATTR, SIZE_HASH, SIZE_TYPE, SKEW_ATTR, SKEW_HASH, STRING_TYPE, STYLE_ATTR, STYLE_HASH, STYLE_TYPE, SUBGRAPH, SYSTEM, TAG_ATTR, TAG_HASH, TIP_ATTR, TIP_HASH, TRAPEZIUM_SHAPE, TRIANGLE_SHAPE, TRIPLEOCTAGON_SHAPE, TYPES_SHIFT, WEIGHT_ATTR, WEIGHT_HASH, WIDTH_ATTR, WIDTH_HASH
 
Constructor Summary
ExtendedPNEdge(ExtendedPlace place, ExtendedTransition trans, java.util.ArrayList caseIDs)
          Constructor creates an edge from the given place to the given transition.
ExtendedPNEdge(ExtendedTransition trans, ExtendedPlace place, java.util.ArrayList caseIDs)
          Constructor creates an edge from the given transition to the given place.
 
Method Summary
 int getFrequency(java.util.ArrayList piList, int fitOption, java.util.HashSet failedInstances)
          Returns the frequency of tokens that have traversed this edge during log replay
 double getProbability(java.util.ArrayList piList, long totalFrequency, int fitOption, java.util.HashSet failedInstances)
          Returns the probability that this edge is chosen by a random token
 void recordProbMeasurement(ReplayedLogTrace extendedTrace)
          Method to keep track of the number of times this edge is traversed in each process instance.
 
Methods inherited from class org.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedEdge
initDiagnosticDataStructures
 
Methods inherited from class org.processmining.framework.models.petrinet.PNEdge
clone, getProbability, getTransition, isPT, isTP, setProbability
 
Methods inherited from class org.processmining.framework.models.ModelGraphEdge
getDest, getSource, getStyle, getValue, setValue
 
Methods inherited from class att.grappa.Edge
attributeType, findEdgeByKey, findEdgesByEnds, getHead, getHeadPortId, getKey, getOpposite, getTail, getTailPortId, getType, goesForward, goesReverse, isEdge, printEdge, toString
 
Methods inherited from class att.grappa.Element
addTag, attrNotOfInterest, attrOfInterest, bdfs, buildShape, canonString, canonValue, clearBBox, delete, getAttribute, getAttributePairs, getAttributeValue, getDefaultAttribute, getDefaultAttribute, getGraph, getGrappaNexus, getId, getIdKey, getLocalAttribute, getLocalAttributeKeys, getLocalAttributePairs, getName, getSubgraph, getThisAttribute, getThisAttributeValue, hasAttributeForKey, hasDefaultTag, hasDefaultTags, hasLocalTag, hasLocalTags, hasTag, hasTags, isNode, isOfInterest, isSubgraph, listAttrsOfInterest, printElement, removeTag, removeTags, setAttribute, setAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setIdKey, setSubgraph, setUserAttributeType, typeString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ExtendedPNEdge

public ExtendedPNEdge(ExtendedPlace place,
                      ExtendedTransition trans,
                      java.util.ArrayList caseIDs)
Constructor creates an edge from the given place to the given transition.

Parameters:
place - the place to be connected to this arc
trans - the transition to be connected to this arc
caseIDs - the list of IDs for those process instance that want to be able to store results of the replay analysis in this extended edge

ExtendedPNEdge

public ExtendedPNEdge(ExtendedTransition trans,
                      ExtendedPlace place,
                      java.util.ArrayList caseIDs)
Constructor creates an edge from the given transition to the given place.

Parameters:
trans - the transition to be connected to this arc
place - the place to be connected to this arc
caseIDs - the list of IDs for those process instance that want to be able to store results of the replay analysis in this extended edge
Method Detail

recordProbMeasurement

public void recordProbMeasurement(ReplayedLogTrace extendedTrace)
Method to keep track of the number of times this edge is traversed in each process instance.

Overrides:
recordProbMeasurement in class ReplayedEdge
Parameters:
extendedTrace - ReplayedLogTrace: process instance in which this measurement is taken

getProbability

public double getProbability(java.util.ArrayList piList,
                             long totalFrequency,
                             int fitOption,
                             java.util.HashSet failedInstances)
Returns the probability that this edge is chosen by a random token

Parameters:
piList - ArrayList: process instances on which calculation of probability is based
totalFrequency - long: the total frequency of tokens that are counted in calculation of probability
fitOption - int: the fit option used (how to deal with non-conformance)
failedInstances - HashSet: instances that have not executed successfully or properly
Returns:
double

getFrequency

public int getFrequency(java.util.ArrayList piList,
                        int fitOption,
                        java.util.HashSet failedInstances)
Returns the frequency of tokens that have traversed this edge during log replay

Parameters:
piList - ArrayList: process instances on which calculation of frequency is based
fitOption - int: the fit option used (how to deal with non-conformance)
failedInstances - HashSet: set of instances that have not finished execution in a regular fashion
Returns:
int