vanted.petrinetelements.misc
Class HelperPNMergeNodes
java.lang.Object
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.
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
HelperPNMergeNodes
public HelperPNMergeNodes()
mergeNodesWithSameLabel
public static void mergeNodesWithSameLabel(java.util.List<org.graffiti.graph.Node> nodes,
PetriNet pn)
- Merge nodes with same label.
- Parameters:
nodes
- the nodespn
- 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