Package vanted.petrinetelements.misc

Class Summary
Check The Class Check proofs if the Petri net structure.
DrawingEdge The Class DrawingEdge is a helper class for drawing attributes onto edges.
DrawingNode The Class DrawingNode is a helper class for drawing attributes onto nodes.
HelperPNMergeNodes The Class HelperPNMergeNodes is a helper class to merge places with the same label.
HideArcWeight The Class HideArcWeight is a helper class for arc-weight hiding.
HideCapacity The Class HideCapacity is a helper class for capacity hiding.
HideLabel The Class HideLabel is a helper class for label hiding.
HideToken The Class HideToken is a helper class for token hiding.
Identity The Class Identity is a helper class for linking between nodes (Petri net) and edges (reachability graph).
IgnoreNode The Class IgnoreNode is a helper class for node hiding.
 

Enum Summary
PetriNetType The Enum PetriNetType.