org.processmining.plugins.petrinet
Class PetrinetInformationPanel

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by org.processmining.models.jgraph.GraphInformationPanel
                      extended by org.processmining.plugins.petrinet.PetrinetInformationPanel
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

public class PetrinetInformationPanel
extends org.processmining.models.jgraph.GraphInformationPanel

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
 
Nested classes/interfaces inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Nested classes/interfaces inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
 
Fields inherited from class org.processmining.models.jgraph.GraphInformationPanel
graphVisPanel, net, southTabs, splitPane, viewSpecificMap
 
Fields inherited from class javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
PetrinetInformationPanel(PetrinetGraph net, Marking initialMarking, org.processmining.framework.plugin.Progress progress)
           
PetrinetInformationPanel(PetrinetGraph net, org.processmining.framework.plugin.Progress progress)
           
 
Method Summary
 void addAnalysisInformation(java.lang.String label, NetAnalysisInformation<?>... information)
           
 void addComponents(AbstractComponentSet<?> marking)
           
 void addCoverabilityGraph(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts, org.processmining.models.semantics.Semantics<?,?> sem)
           
 void addDeadStates(org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet set, org.processmining.models.semantics.Semantics<?,?> sem)
           
 void addDeadTransitions(DeadTransitionsSet component, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
           
 void addInvariant(AbstractInvariantSet<?> marking)
           
 void addMarkingSet(AbstractMarkingSet<?> set, org.processmining.models.semantics.Semantics<?,?> semantics)
           
 void addNodePairSet(AbstractNodePairSet<?,?> set)
           
 void addNonBoundedPlaces(UnboundedPlacesSet component, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
           
 void addNonExtendedFreeChoiceClusters(NonExtendedFreeChoiceClustersSet component)
           
 void addNonFreeChoiceClusters(NonFreeChoiceClustersSet component)
           
 void addNonLiveSequences(NonLiveSequences sequences, org.processmining.models.semantics.Semantics<?,?> sem)
           
 void addNonLiveTransitions(NonLiveTransitionsSet component, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
           
 void addNotPCoveredNodes(NotPCoveredNodesSet component)
           
 void addNotSCoveredNodes(NotSCoveredNodesSet component)
           
 void addPort(OpenNet net, OpenNetPort port)
           
 void addReachabilityGraph(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts, org.processmining.models.semantics.Semantics<?,?> sem)
           
 void addSinkPlaces(SinkPlacesSet component)
           
 void addSourcePlaces(SourcePlacesSet component)
           
 void addUnboundedSequences(UnboundedSequences sequences, org.processmining.models.semantics.Semantics<?,?> sem)
           
 void addUnconnectedNodes(UnconnectedNodesSet component)
           
 
Methods inherited from class org.processmining.models.jgraph.GraphInformationPanel
addComponent, addGraph, getGraphVisualizationPanel, viewSpecificMapUpdated
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PetrinetInformationPanel

public PetrinetInformationPanel(PetrinetGraph net,
                                Marking initialMarking,
                                org.processmining.framework.plugin.Progress progress)

PetrinetInformationPanel

public PetrinetInformationPanel(PetrinetGraph net,
                                org.processmining.framework.plugin.Progress progress)
Method Detail

addAnalysisInformation

public void addAnalysisInformation(java.lang.String label,
                                   NetAnalysisInformation<?>... information)

addMarkingSet

public void addMarkingSet(AbstractMarkingSet<?> set,
                          org.processmining.models.semantics.Semantics<?,?> semantics)

addNodePairSet

public void addNodePairSet(AbstractNodePairSet<?,?> set)

addInvariant

public void addInvariant(AbstractInvariantSet<?> marking)

addNonLiveSequences

public void addNonLiveSequences(NonLiveSequences sequences,
                                org.processmining.models.semantics.Semantics<?,?> sem)

addUnboundedSequences

public void addUnboundedSequences(UnboundedSequences sequences,
                                  org.processmining.models.semantics.Semantics<?,?> sem)

addComponents

public void addComponents(AbstractComponentSet<?> marking)

addDeadStates

public void addDeadStates(org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet set,
                          org.processmining.models.semantics.Semantics<?,?> sem)

addDeadTransitions

public void addDeadTransitions(DeadTransitionsSet component,
                               org.processmining.models.semantics.Semantics<Marking,Transition> semantics)

addNonLiveTransitions

public void addNonLiveTransitions(NonLiveTransitionsSet component,
                                  org.processmining.models.semantics.Semantics<Marking,Transition> semantics)

addNonBoundedPlaces

public void addNonBoundedPlaces(UnboundedPlacesSet component,
                                org.processmining.models.semantics.Semantics<Marking,Transition> semantics)

addNotSCoveredNodes

public void addNotSCoveredNodes(NotSCoveredNodesSet component)

addNotPCoveredNodes

public void addNotPCoveredNodes(NotPCoveredNodesSet component)

addNonFreeChoiceClusters

public void addNonFreeChoiceClusters(NonFreeChoiceClustersSet component)

addNonExtendedFreeChoiceClusters

public void addNonExtendedFreeChoiceClusters(NonExtendedFreeChoiceClustersSet component)

addSourcePlaces

public void addSourcePlaces(SourcePlacesSet component)

addSinkPlaces

public void addSinkPlaces(SinkPlacesSet component)

addUnconnectedNodes

public void addUnconnectedNodes(UnconnectedNodesSet component)

addCoverabilityGraph

public void addCoverabilityGraph(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
                                 org.processmining.models.semantics.Semantics<?,?> sem)

addReachabilityGraph

public void addReachabilityGraph(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
                                 org.processmining.models.semantics.Semantics<?,?> sem)

addPort

public void addPort(OpenNet net,
                    OpenNetPort port)