Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X
C
calculateLabelPositionForNode(double, double, String, GraphElement, GraphElementShape, Point, NodeLabelPositionAttribute)
- Static method in class vanted.attribute.
LabelComponentHelper
Capacity
- Class in
vanted.petrinetelements
The Class Capacity for capacity handling.
Capacity(Object)
- Constructor for class vanted.petrinetelements.
Capacity
Instantiates a new capacity.
CAPACITY_MAX_VALUE
- Static variable in class vanted.petrinetelements.
PetriNet
The capacity maximum value.
CapacityAttribute
- Class in
vanted.attribute
The Class CapacityAttribute handles the capacity attribute.
CapacityAttribute()
- Constructor for class vanted.attribute.
CapacityAttribute
Instantiates a new capacity attribute.
CapacityAttribute(String)
- Constructor for class vanted.attribute.
CapacityAttribute
Instantiates a new capacity attribute.
CapacityAttribute(String, String)
- Constructor for class vanted.attribute.
CapacityAttribute
Instantiates a new capacity attribute.
CapacityAttributeComponent
- Class in
vanted.attribute
The Class CapacityAttributeComponent visualizes the capacity.
CapacityAttributeComponent()
- Constructor for class vanted.attribute.
CapacityAttributeComponent
CapacityAttributeEditor
- Class in
vanted.attribute
The Class CapacityAttributeEditor another way to change the capacity in the VANTED gui.
CapacityAttributeEditor(Displayable)
- Constructor for class vanted.attribute.
CapacityAttributeEditor
Instantiates a new capacity attribute editor.
changeExpressionValue(Expression, Object)
- Method in class vanted.attribute.cpn.expression.
ExpressionAttribute
Changes the expression value.
changeGuardValue(Guard, Object)
- Method in class vanted.attribute.cpn.guard.
GuardArcAttribute
Changes the guard value.
changeGuardValue(Guard, Object)
- Method in class vanted.attribute.cpn.guard.
GuardAttribute
Change guard value.
changeTokenValue(AbstractToken, double)
- Method in class vanted.attribute.token.
TokenAttributeContinuous
Changes token value.
changeValue()
- Method in class vanted.gui.
AbstractGUIComp
changeValue()
- Method in class vanted.gui.
GUICompArcWeight
changeValue()
- Method in class vanted.gui.
GUICompContinuousToken
changeValue()
- Method in class vanted.gui.
GUICompDiscreteToken
changeValue()
- Method in class vanted.gui.
GUICompPlaceCapacity
check()
- Method in class vanted.attribute.cpn.expression.
AddExpressionsToArc
check()
- Method in class vanted.attribute.cpn.guard.
AddGuardsToArc
check()
- Method in class vanted.attribute.cpn.guard.
AddGuardsToTransition
check(NodeShape)
- Method in interface vanted.gui.button.
IPNButtonListener
Check.
check(NodeShape)
- Method in class vanted.gui.button.
PNButton
Check
- Class in
vanted.petrinetelements.misc
The Class Check proofs if the Petri net structure.
Check()
- Constructor for class vanted.petrinetelements.misc.
Check
clearTokens()
- Method in class vanted.petrinetelements.
Place
Clears all tokens (discrete, continuous) of a place (if the place is a logical place then all tokens of the associated places are also cleared).
colorAttributeName
- Static variable in class vanted.attribute.
ArcWeightAttribute
The Constant colorAttributeName.
colorAttributeName
- Static variable in class vanted.attribute.
CapacityAttribute
The Constant colorAttributeName.
colorAttributeName
- Static variable in class vanted.attribute.token.
TokenAttributeContinuous
The Constant colorAttributeName.
colorAttributeName
- Static variable in class vanted.attribute.token.
TokenAttributeDiscrete
The Constant colorAttributeName.
colorEnabledTransitions(boolean)
- Method in class petri_jfern.
PNJFern
colorEnabledTransitions(boolean)
- Method in interface vanted.petrinetelements.
Library
Color enabled transitions.
contains(Object)
- Method in class vanted.petrinetelements.
PlaceList
contains(Node)
- Method in class vanted.validation.
MyNodes
Checks if MyNodes contains this node.
contains(Node, Node)
- Method in class vanted.validation.
MyNodes
Checks if MyNodes contains this source and target node.
contains(Node)
- Method in class vanted.validation.
MyNodesArray
Checks if this array of nodes contains this node.
contains(Node, Node)
- Method in class vanted.validation.
MyNodesArray
Checks if this array of nodes contains this source and target node.
containsKeyR(AbstractArc)
- Method in class petri_jfern.
ArcMap
Contains key r.
containsKeyR(Place)
- Method in class petri_jfern.
PlaceMap
Contains key r.
containsKeyR(Transition)
- Method in class petri_jfern.
TransitionMap
Contains key r.
containsKeyV(AbstractArc)
- Method in class petri_jfern.
ArcMap
Contains key v.
containsKeyV(Place)
- Method in class petri_jfern.
PlaceMap
Contains key v.
containsKeyV(Transition)
- Method in class petri_jfern.
TransitionMap
Contains key v.
createArc(Element)
- Method in class pnml.loader.
AbstractPetriNetParser
createArc(Element)
- Method in class pnml.loader.
PetriNetParserContinuous
createArc(Element)
- Method in class pnml.loader.
PetriNetParserDiscrete
createArcElement(AbstractArc, Document)
- Method in class pnml.writer.
AbstractPNMLParser
Creates a Arc Element for a PNML Petri-Net DOM
createArcElement(AbstractArc, Document)
- Method in class pnml.writer.
PNMLParserContinuous
createArcElement(AbstractArc, Document)
- Method in class pnml.writer.
PNMLParserDiscrete
createGraph(NodeList)
- Method in class pnml.loader.
AbstractPetriNetParser
createLibI(PetriNet)
- Method in class petri_jfern.
PNJFern
Creates the library.
createNodeAttr(Node, Element, String)
- Method in class pnml.loader.
AbstractPetriNetParser
createNodeAttr(Node, Element)
- Method in class pnml.writer.
AbstractPNMLParser
createPetriNet(Graph, boolean)
- Method in class vanted.petrinetelements.
PetriNet
Creates the Petri net if it is correct.
createPlace(Element)
- Method in class pnml.loader.
AbstractPetriNetParser
createPlace(Element)
- Method in class pnml.loader.
PetriNetParserContinuous
createPlace(Element)
- Method in class pnml.loader.
PetriNetParserDiscrete
createPlaceElement(Place, Document)
- Method in class pnml.writer.
AbstractPNMLParser
Creates a Place Element for a PNML Petri-Net DOM
createPlaceElement(Place, Document)
- Method in class pnml.writer.
PNMLParserContinuous
createPlaceElement(Place, Document)
- Method in class pnml.writer.
PNMLParserDiscrete
createPNML(PetriNet, OutputStream)
- Method in class pnml.writer.
AbstractPNMLParser
createPNML(OutputStream)
- Method in class pnml.writer.
PNMLBuilder
createRandomReversibleTransitions(List<Transition>)
- Method in class vanted.petrinetelements.
PetriNet
Returns one random transition of the pair of reversible transitions.
createSimulator(Net, PetriNet)
- Method in class simulation.
Simulator
Creates the simulator.
createTableComponent(List<HashMap<NodePN, Double>>, String)
- Method in class vanted.gui.
InvariantTableComponent
Creates the table component for the p- and t-invariant.
createTransition(Element)
- Method in class pnml.loader.
AbstractPetriNetParser
createTransition(Element)
- Method in class pnml.loader.
PetriNetParserContinuous
createTransition(Element)
- Method in class pnml.loader.
PetriNetParserDiscrete
createTransitionElement(Transition, Document)
- Method in class pnml.writer.
AbstractPNMLParser
Creates a Transition Element for a PNML Petri-Net DOM
createTransitionElement(Transition, Document)
- Method in class pnml.writer.
PNMLParserContinuous
createTransitionElement(Transition, Document)
- Method in class pnml.writer.
PNMLParserDiscrete
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X