HashSet<AbstractNode> uncheckedCompEntries = (HashSet<AbstractNode>) component.clone();
uncheckedCompEntries.removeAll(checkedCompEntries);
while (!uncheckedCompEntries.isEmpty()) {
// 1.Schritt
AbstractNode node = (AbstractNode) uncheckedCompEntries.iterator().next();
checkedCompEntries.add(node);
// 2.Schritt
if (PlaceNode.class == node.getClass()) {
for (AbstractNode abstractNode : node.getPostNodes()) {
component.add(abstractNode);
}
for (AbstractNode abstractNode : node.getPreNodes()) {
component.add(abstractNode);
}
}
// 3.Schritt
else
if (TransitionNode.class == node.getClass()) {
Set<AbstractNode> postNodes = node.getPostNodes();
if (postNodes.size() == 1) {
component.add(postNodes.iterator().next());
}
// 4.Schritt
if (postNodes.size() > 1) {