Serialized Form


Package vanted.addon

Class vanted.addon.PetriAddonTab extends org.graffiti.plugin.inspector.InspectorTab implements Serializable

serialVersionUID: 1L

Serialized Fields

reGUI

ReconstructionGUI reGUI
The reconstruction gui.


simuGUI

SimulationGUI simuGUI
The simulation gui.


anaGUI

AnalysisGUI anaGUI
The analysis gui.


graph

org.graffiti.graph.Graph graph
The graph.


Package vanted.attribute

Class vanted.attribute.ArcWeightAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

point

java.awt.Point point
The point.


strlength

int strlength
The strlength.


arcweightsize

int arcweightsize
The arcweightsize.


color

java.awt.Color color
The color.

Class vanted.attribute.CapacityAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

point

java.awt.Point point
The point.


strlength

int strlength
The strlength.


capacitysize

int capacitysize
The capacitysize.


color

java.awt.Color color
The color.


align

java.lang.String align
The align.

Class vanted.attribute.DrawAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

point

java.awt.Point point
The loc.


strlength

int strlength
The strlength.


drawvaluesize

int drawvaluesize
The drawvaluesize.


color

java.awt.Color color
The color.


align

java.lang.String align
The align.


Package vanted.attribute.cpn.expression

Class vanted.attribute.cpn.expression.ExpressionAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

point

java.awt.Point point
The point.


expSize

int expSize
The exp size.


expressions

java.util.List<E> expressions
The expressions.


Package vanted.attribute.token

Class vanted.attribute.token.TokenAttributeContinuousComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

point

java.awt.Point point
The point.


strlength

int strlength
The strlength.


tokensize

int tokensize
The tokensize.


color

java.awt.Color color
The color.


align

java.lang.String align
The align.

Class vanted.attribute.token.TokenAttributeDiscreteComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

point

java.awt.Point point
The point.


strlength

int strlength
The strlength.


tokensize

int tokensize
The tokensize.


color

java.awt.Color color
The color.


align

java.lang.String align
The align.


Package vanted.gui

Class vanted.gui.AbstractGUIComp extends javax.swing.JComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

spinner

JSpinnerDouble spinner
The spinner.


changeBtn

javax.swing.JButton changeBtn
The change Button.


removeBtn

javax.swing.JButton removeBtn
The remove Button.


graph

org.graffiti.graph.Graph graph
The graph.


pn

PetriNet pn
The pn.


listener

java.util.List<E> listener
The attribute listener.

Class vanted.gui.AnalysisGUI extends javax.swing.JComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

graph

org.graffiti.graph.Graph graph
The graph.


referencedGraphNames

java.util.List<E> referencedGraphNames
The referenced graph names.


hideTokenChkBox

javax.swing.JCheckBox hideTokenChkBox
The hide token chk box.


hideCapacityChkBox

javax.swing.JCheckBox hideCapacityChkBox
The hide capacity chk box.


hideArcWeightChkBox

javax.swing.JCheckBox hideArcWeightChkBox
The hide arc weight chk box.


hideLabelChkBox

javax.swing.JCheckBox hideLabelChkBox
The hide label chk box.


spinnerReachability

javax.swing.JSpinner spinnerReachability
The spinner reachability.


fontSize

int fontSize
The font size.

Class vanted.gui.GUICompArcWeight extends AbstractGUIComp implements Serializable

serialVersionUID: 1L

Class vanted.gui.GUICompContinuousToken extends AbstractGUIComp implements Serializable

serialVersionUID: 1L

Class vanted.gui.GUICompDiscreteToken extends AbstractGUIComp implements Serializable

serialVersionUID: 1L

Class vanted.gui.GUICompPlaceCapacity extends AbstractGUIComp implements Serializable

serialVersionUID: 1L

Class vanted.gui.PetriNetAttributeGUI extends javax.swing.JComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

graph

org.graffiti.graph.Graph graph
The graph.


discreteTokenComp

AbstractGUIComp discreteTokenComp
The discrete token components.


continuousTokenComp

AbstractGUIComp continuousTokenComp
The continuous token components.


placeCapacityComp

AbstractGUIComp placeCapacityComp
The place capacity components.


arcWeigtComp

AbstractGUIComp arcWeigtComp
The arc weigt comp.


type

PetriNetType type
The type.


emptyString

java.lang.String emptyString
The empty string.

Class vanted.gui.ReconstructionGUI extends javax.swing.JComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

graph

org.graffiti.graph.Graph graph
The graph.


trans

PNButton trans
The trans.


place

PNButton place
The place.


pnGUI

PetriNetAttributeGUI pnGUI
The pn gui.

Class vanted.gui.SimulationGUI extends javax.swing.JComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

graph

org.graffiti.graph.Graph graph
The graph.


state

boolean state
The state.


runBtn

javax.swing.JButton runBtn
The run btn.


stepBtn

javax.swing.JButton stepBtn
The step btn.


stepJS

javax.swing.JSpinner stepJS
The step js.


delaySP

javax.swing.JSpinner delaySP
The delay sp.


showTokenFlow

javax.swing.JCheckBox showTokenFlow
The show token flow.


write2File

javax.swing.JCheckBox write2File
The write2 file.


fireBtn

javax.swing.JButton fireBtn
The fire btn.


Package vanted.gui.button

Class vanted.gui.button.JSpinnerDouble extends javax.swing.JSpinner implements Serializable

serialVersionUID: 1L

Class vanted.gui.button.PNButton extends javax.swing.JButton implements Serializable

serialVersionUID: 1L

Serialized Fields

listener

java.util.List<E> listener
The listener.


shape

NodeShape shape
The shape.


Package vanted.petrinetelements

Class vanted.petrinetelements.PlaceList extends java.util.ArrayList<Place> implements Serializable

serialVersionUID: 1L


Package vanted.validation

Class vanted.validation.MyNodesArray extends java.util.ArrayList<MyNodes> implements Serializable

serialVersionUID: 1L