net.frapu.code.simulation.petrinets

Class PetriNetSimulationEditor

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

net.frapu.code.visualization.ProcessEditor

net.frapu.code.simulation.petrinets.PetriNetSimulationEditor

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.print.Printable, java.io.Serializable, javax.accessibility.Accessible, PetriNetSimulationListener, ProcessEditorInterface, ProcessEditorListener, ProcessModelListener

public class PetriNetSimulationEditor
extends ProcessEditor
implements ProcessEditorListener, ProcessModelListener, PetriNetSimulationListener

Provides a Petri net-based Process Editor with simulation and analysis capabilities.

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 net.frapu.code.visualization.ProcessEditor

animationEnabled, animator, contextMenu, customContextItems, customMenuItems, DELETE_FADE_TIME, dragableObject, drawBackground, extHandler, horizontalAlignmentRuler, invisibleAlpha, mergeAnimator, MIN_DIAGRAM_SCALE, mouseListener, NEW_FADE_TIME, popupMenu, processHelpers, selectedEdge, selectionHandler, topologicalRendering, verticalAlignmentRuler

Fields inherited from class javax.swing.JComponent

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

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.print.Printable

NO_SUCH_PAGE, PAGE_EXISTS

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor and Description
PetriNetSimulationEditor()
PetriNetSimulationEditor(ProcessModel m)

Method Summary

Modifier and Type	Method and Description
ProcessModel	createExample() Returns a sample ProcessModel in BPMN (might be overwritten).
void	dispose() Stops all Threads belonging to this Editor.
int	getSimulationSpeed()
int	getTokenCount()
static void	main(java.lang.String[] args)
void	modelChanged(ProcessModel m) Is called each time a new model is loaded.
void	processEdgeAdded(ProcessEdge edge) Is called if a ProcessEdge is added to the model.
void	processEdgeRemoved(ProcessEdge edge) Is called if a ProcessEdge is removed from the model.
void	processNodeAdded(ProcessNode newNode) ProcessModelListener for updating the UI corresponding to model changes.
void	processNodeDeselected(ProcessNode o)
void	processNodeEditingFinished(ProcessNode o) is invoked when editing the text of an element is finished
void	processNodeEditingStarted(ProcessNode o, javax.swing.JTextField textfield) is invoked when editing the text of an element starts.
void	processNodeRemoved(ProcessNode remNode) Is called if a ProcessNode is removed from the model.
void	processNodeSelected(ProcessNode o)
void	processObjectClicked(ProcessObject o) Determines the actions if a ProcessNode is clicked.
void	processObjectDoubleClicked(ProcessObject o) Is called each time a double click on a node is performed.
void	processObjectDragged(Dragable o, int oldX, int oldY) Is called each time a ProcessObject is dragged.
void	refreshDisplay() Is called each time the simulation thinks the display should be refreshed.
void	setModel(ProcessModel model)
void	setSimulationSpeed(int simulationSpeed)
void	setTokenCount(int tokenCount)
void	simulationFinished() Is called each time the simulation Thread finishes.
void	simulationStarted() Is called each time the simulation Thread starts.
void	updateSimulation()

Methods inherited from class net.frapu.code.visualization.ProcessEditor

addCustomContextMenuItem, addCustomPopUpMenuItem, addLayoutMenu, addListener, addProcessHelper, continueLayoutEdges, customInitialization, detectProcessEdge, detectProcessObject, endProcessEditorListenerUpdate, getAnimator, getContextMenu, getCustomContextMenuItems, getCustomContextMenuItems, getDragableObject, getExtHandler, getInvisibleAlpha, getLastSelectedNode, getListeners, getMergeAnimator, getModel, getMouseClickLocation, getOnSelectMenu, getPopupMenu, getPreferredSize, getProcessEditorMouseListener, getProcessHelpers, getScale, getSelectedModel, getSelectionHandler, isAnimationEnabled, isDrawBackground, isEditable, isLayoutEdges, isTopologicalRendering, isVirginEditor, openNewModel, paintComponent, pauseLayoutEdges, print, processModelOpened, processModelSaved, processObjectPropertyChange, removeListener, removeProcessHelper, removeProcessHelperClass, setAlignmentRuler, setAnimationEnabled, setDragableObject, setDrawBackground, setEditable, setEnabled, setExtHandler, setInvisibleAlpha, setLayoutEdges, setNodeOnSelectMenu, setScale, setTopologicalRendering, setVirginEditor, startProcessEditorListenerUpdate, zoomToFit, zoomToFit

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, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, 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, 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, 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, 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, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.frapu.code.visualization.ProcessModelListener

processObjectPropertyChange

Constructor Detail

PetriNetSimulationEditor

public PetriNetSimulationEditor()

PetriNetSimulationEditor

public PetriNetSimulationEditor(ProcessModel m)

Method Detail

setModel

public void setModel(ProcessModel model)

Overrides:

setModel in class ProcessEditor

createExample

public ProcessModel createExample()

Description copied from class: ProcessEditor

Returns a sample ProcessModel in BPMN (might be overwritten).

Overrides:

createExample in class ProcessEditor

Returns:

getSimulationSpeed

public int getSimulationSpeed()

setSimulationSpeed

public void setSimulationSpeed(int simulationSpeed)

getTokenCount

public int getTokenCount()

setTokenCount

public void setTokenCount(int tokenCount)

dispose

public void dispose()

Description copied from class: ProcessEditor

Stops all Threads belonging to this Editor. Should be called when the editor is dismissed.

Overrides:

dispose in class ProcessEditor

main

public static void main(java.lang.String[] args)

updateSimulation

public void updateSimulation()

processObjectClicked

public void processObjectClicked(ProcessObject o)

Determines the actions if a ProcessNode is clicked.

Specified by:

processObjectClicked in interface ProcessEditorListener

Parameters:

o -

processObjectDoubleClicked

public void processObjectDoubleClicked(ProcessObject o)

Description copied from interface: ProcessEditorListener

Is called each time a double click on a node is performed. This also means that a single click has been send before

Specified by:

processObjectDoubleClicked in interface ProcessEditorListener

See Also:

processNodeClicked()

processNodeSelected

public void processNodeSelected(ProcessNode o)

processNodeDeselected

public void processNodeDeselected(ProcessNode o)

modelChanged

public void modelChanged(ProcessModel m)

Description copied from interface: ProcessEditorListener

Is called each time a new model is loaded.

Specified by:

modelChanged in interface ProcessEditorListener

processNodeAdded

public void processNodeAdded(ProcessNode newNode)

Description copied from class: ProcessEditor

ProcessModelListener for updating the UI corresponding to model changes.

Specified by:

processNodeAdded in interface ProcessModelListener

Overrides:

processNodeAdded in class ProcessEditor

processNodeRemoved

public void processNodeRemoved(ProcessNode remNode)

Description copied from interface: ProcessModelListener

Is called if a ProcessNode is removed from the model.

Specified by:

processNodeRemoved in interface ProcessModelListener

Overrides:

processNodeRemoved in class ProcessEditor

processEdgeAdded

public void processEdgeAdded(ProcessEdge edge)

Description copied from interface: ProcessModelListener

Is called if a ProcessEdge is added to the model.

Specified by:

processEdgeAdded in interface ProcessModelListener

Overrides:

processEdgeAdded in class ProcessEditor

processEdgeRemoved

public void processEdgeRemoved(ProcessEdge edge)

Description copied from interface: ProcessModelListener

Is called if a ProcessEdge is removed from the model.

Specified by:

processEdgeRemoved in interface ProcessModelListener

Overrides:

processEdgeRemoved in class ProcessEditor

processObjectDragged

public void processObjectDragged(Dragable o,
                                 int oldX,
                                 int oldY)

Description copied from interface: ProcessEditorListener

Is called each time a ProcessObject is dragged.

Specified by:

processObjectDragged in interface ProcessEditorListener

refreshDisplay

public void refreshDisplay()

Description copied from interface: PetriNetSimulationListener

Is called each time the simulation thinks the display should be refreshed.

Specified by:

refreshDisplay in interface PetriNetSimulationListener

simulationFinished

public void simulationFinished()

Description copied from interface: PetriNetSimulationListener

Is called each time the simulation Thread finishes.

Specified by:

simulationFinished in interface PetriNetSimulationListener

simulationStarted

public void simulationStarted()

Description copied from interface: PetriNetSimulationListener

Is called each time the simulation Thread starts.

Specified by:

simulationStarted in interface PetriNetSimulationListener

processNodeEditingFinished

public void processNodeEditingFinished(ProcessNode o)

Description copied from interface: ProcessEditorListener

is invoked when editing the text of an element is finished

Specified by:

processNodeEditingFinished in interface ProcessEditorListener

processNodeEditingStarted

public void processNodeEditingStarted(ProcessNode o,
                                      javax.swing.JTextField textfield)

Description copied from interface: ProcessEditorListener

is invoked when editing the text of an element starts.

Specified by:

processNodeEditingStarted in interface ProcessEditorListener