|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectatt.grappa.Element
att.grappa.Subgraph
att.grappa.Graph
org.processmining.framework.models.ModelGraph
org.processmining.framework.models.petrinet.PetriNet
org.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedPetriNet
org.processmining.analysis.performance.ExtendedPetriNet
public class ExtendedPetriNet
This class is used to enhance the Petri net model with performance results.
Field Summary | |
---|---|
java.util.ArrayList |
currentlySelectedInstances
The currentlySelectedInstances attribute is necessary because the writeToDot() method has a fixed interface, though the visualization should be able to take them into account. |
Fields inherited from class org.processmining.framework.models.ModelGraph |
---|
DOESNTCROSS_REGION, ENTERS_REGION, EXITS_REGION, identifier, nodeMapping, vertices, visualObject |
Fields inherited from class att.grappa.Graph |
---|
INDENT_STRING, REFCNTXT |
Fields inherited from class att.grappa.Subgraph |
---|
currentSelection, defaultNamePrefix |
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 | |
---|---|
ExtendedPetriNet(ExtendedPetriNet copyTemplate)
Copy Constructor mimics the clone method and will be called by sub classes when the visualization state has changed in PerformanceAnalysisResult. |
|
ExtendedPetriNet(PetriNet net,
java.util.ArrayList caseIDs)
Constructs an ExtendedPetriNet out of an ordinary one. |
Method Summary | |
---|---|
protected PNEdge |
makeEdge(PNEdge template,
Place sourceNode,
Transition targetNode,
ReplayedPetriNet targetNet,
java.util.ArrayList caseIDs)
Reproduces an edge based on the given edge (Direction: Place -> Transition). Produces an ExtendedPNEdge . |
protected PNEdge |
makeEdge(PNEdge template,
Transition sourceNode,
Place targetNode,
ReplayedPetriNet targetNet,
java.util.ArrayList caseIDs)
Reproduces an edge based on the given edge (Direction: Transition -> Place). Produces a ExtendedPNEdge . |
protected Place |
makePlace(Place template,
ReplayedPetriNet targetNet,
java.util.ArrayList caseIDs)
Reproduces a place based on the given place. Produces an ExtendedPlace . |
protected Transition |
makeTransition(Transition template,
ReplayedPetriNet targetNet,
java.util.ArrayList caseIDs)
Reproduces a transition based on the given transition. Produces an ExtendedTransition . |
void |
setAdvancedSettings(int[] settings)
Sets advanced settings to settings |
void |
setBounds(java.util.ArrayList bnds)
Sets bounds to bnds |
void |
setFailedInstances(java.util.HashSet failedInstances)
Sets failed instances |
void |
setLevelColors(java.util.ArrayList cols)
Sets levelColors to cols |
void |
setTimeDivider(long tim)
Sets the timeSort to tim |
protected void |
writeEdgesToDot(java.io.Writer bw)
This is the edge writing part of the writeToDot procedure. |
protected void |
writePlacesToDot(java.io.Writer bw)
This is the place writing part of the writeToDot procedure (refer to it for further information), which gets affected if the tokenCounterOption evaluates to true. |
protected void |
writeTransitionsToDot(java.io.Writer bw)
This is the transition writing part of the writeToDot procedure (refer to it for further information). |
Methods inherited from class org.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedPetriNet |
---|
hasEnabledInvisibleTasks |
Methods inherited from class org.processmining.framework.models.ModelGraph |
---|
addEdge, addEdge, addVertex, calculateAllNonCompRegions, calculateAllRegions, calculateMinimalRegions, calculateRegionsMaxSize, delEdge, getAllEdges, getEdgeObjects, getEdges, getEdgesBetween, getFirstEdge, getGrappaVisualization, getIdentifier, getNumberOfEdges, getPostRegions, getPreRegions, getShortestDistances, getVerticeList, getWeightedArcs, reduceTransitively, removeEdge, removeEdges, setIdentifier, setWeightedArcs |
Methods inherited from class att.grappa.Graph |
---|
addPanel, attributeType, buildShapes, decrementIndent, dropcloth, getErrorWriter, getGlobalAttribute, getGlobalAttributeKeys, getGlobalAttributePairs, getGlobalAttributeSize, getGrappaAttribute, getGrappaAttributeKeys, getGrappaAttributeValue, getId, getIndent, getSynchronizePaint, getToolTipText, incrementIndent, isDirected, isEditable, isMenuable, isSelectable, isStrict, paintImmediately, printError, printError, printGraph, printGraph, removePanel, repaint, reset, reset, resync, setEditable, setErrorWriter, setGrappaAttribute, setMenuable, setSelectable, setSynchronizePaint, setToolTipText, validGrappaAttributeKey |
Methods inherited from class att.grappa.Subgraph |
---|
addEdge, addNode, addSubgraph, addTypeTag, clearPatchWork, compare, computePatchWork, countOfElements, countOfLocalElements, createElement, edgeElements, elements, elements, equals, findEdgeByName, findNodeByName, findSubgraphByName, getBoundingBox, getEdgeAttribute, getEdgeAttributeKeys, getEdgeAttributePairs, getEdgeAttributeValue, getNodeAttribute, getNodeAttributeKeys, getNodeAttributePairs, getNodeAttributeValue, getShowEdgeLabels, getShowNodeLabels, getShowSubgraphLabels, getType, hasEmptySubgraphs, hasTypeTag, hasTypeTags, isCluster, isLR, isRoot, isSubgraph, nodeElements, patchWork, preparePatchWork, printSubgraph, removeEdge, removeEmptySubgraphs, removeNode, removeSubgraph, removeTypeTag, removeTypeTags, resetBoundingBox, setAttribute, setAttribute, setEdgeAttribute, setEdgeAttribute, setName, setNodeAttribute, setNodeAttribute, setShowEdgeLabels, setShowNodeLabels, setShowSubgraphLabels, subgraphElements, vectorOfElements |
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, isEdge, isNode, isOfInterest, listAttrsOfInterest, printElement, removeTag, removeTags, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setIdKey, setSubgraph, setUserAttributeType, toString, typeString |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public java.util.ArrayList currentlySelectedInstances
Constructor Detail |
---|
public ExtendedPetriNet(PetriNet net, java.util.ArrayList caseIDs)
net
- the Petri net that is re-established in the replayed netcaseIDs
- a list of strings containing the IDs of those instances
that want to store diagnostic informationpublic ExtendedPetriNet(ExtendedPetriNet copyTemplate)
copyTemplate
- The Petri net containing all the diagnostic information
that should be preserved.Method Detail |
---|
protected Transition makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
ExtendedTransition
.
makeTransition
in class ReplayedPetriNet
template
- the Transition serving as a template for the new TransitiontargetNet
- the ReplayedPetriNet to which the new transition belongs tocaseIDs
- the list of trace IDs for initializing diagnostic data structures
protected Place makePlace(Place template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
ExtendedPlace
.
makePlace
in class ReplayedPetriNet
template
- the Place serving as a template for the new PlacetargetNet
- the ReplayedPetriNet to which the new place belongs tocaseIDs
- the list of trace IDs for initializing diagnostic data structures
protected PNEdge makeEdge(PNEdge template, Place sourceNode, Transition targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
ExtendedPNEdge
.
makeEdge
in class ReplayedPetriNet
template
- the PNEdge serving as a template for the new PNEdgesourceNode
- the Place being the source of the new edgetargetNode
- the Transition being the target of the new edgetargetNet
- the ReplayedPetriNet to which the new place belongs tocaseIDs
- the list of trace IDs for initializing diagnostic data structures
protected PNEdge makeEdge(PNEdge template, Transition sourceNode, Place targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
ExtendedPNEdge
.
makeEdge
in class ReplayedPetriNet
template
- the PNEdge serving as a template for the new PNEdgesourceNode
- the Transition being the source of the new edgetargetNode
- the Place being the target of the new edgetargetNet
- the ReplayedPetriNet to which the new place belongs tocaseIDs
- the list of trace IDs for initializing diagnostic data structures
protected void writeTransitionsToDot(java.io.Writer bw) throws java.io.IOException
writeTransitionsToDot
in class PetriNet
bw
- The writer used by the framework to create the temporary dot file.
java.io.IOException
- If writing to the writer fails.protected void writePlacesToDot(java.io.Writer bw) throws java.io.IOException
writePlacesToDot
in class PetriNet
bw
- The writer used by the framework to create the temporary dot file.
java.io.IOException
- If writing to the writer fails.protected void writeEdgesToDot(java.io.Writer bw) throws java.io.IOException
writeToDot
procedure.
This part of the visualization gets affected by the probabilities that are
displayed at XOR-splits.
writeEdgesToDot
in class PetriNet
bw
- the writer used by the framework to create the temporary dot file
java.io.IOException
- if writing to the writer failspublic void setTimeDivider(long tim)
tim
- Stringpublic void setBounds(java.util.ArrayList bnds)
bnds
- ArrayListpublic void setLevelColors(java.util.ArrayList cols)
cols
- ArrayListpublic void setAdvancedSettings(int[] settings)
settings
- int[]public void setFailedInstances(java.util.HashSet failedInstances)
failedInstances
- HashSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |