vanted.petrinetelements.misc
Class HelperPNMergeNodes

java.lang.Object
  extended by vanted.petrinetelements.misc.HelperPNMergeNodes

public class HelperPNMergeNodes
extends java.lang.Object

The Class HelperPNMergeNodes is a helper class to merge places with the same label.


Constructor Summary
HelperPNMergeNodes()
           
 
Method Summary
static NodePN mergeNode(java.util.List<NodePN> toBeMerged)
          Merge places to one logical place.
static void mergeNodesWithSameLabel(java.util.List<org.graffiti.graph.Node> nodes, PetriNet pn)
          Merge nodes with same label.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

HelperPNMergeNodes

public HelperPNMergeNodes()
Method Detail

mergeNodesWithSameLabel

public static void mergeNodesWithSameLabel(java.util.List<org.graffiti.graph.Node> nodes,
                                           PetriNet pn)
Merge nodes with same label.

Parameters:
nodes - the nodes
pn - the pn

mergeNode

public static NodePN mergeNode(java.util.List<NodePN> toBeMerged)
Merge places to one logical place.

Parameters:
toBeMerged - the to be merged
Returns:
the node