protected void addSilentTransition(Node node, ImportContext c) {
SilentTransition t = new SilentTransition();
c.getNet().getTransitions().add(t);
c.getObjects().put(getResourceId(node), t);
for (Node n = node.getFirstChild(); n != null; n = n.getNextSibling()) {
if (n instanceof Text) continue;
String attribute = n.getNodeName().substring(n.getNodeName().indexOf(':') + 1);
if (attribute.equals("outgoing")) {
c.getConnections().put(getResourceId(getAttributeValue(n, "rdf:resource")), t);
} else if (attribute.equals("propability")) { // not copied
String content = getContent(n);
if (content != null) t.setPropability(Integer.parseInt(content));
}
}
if (t.getId() == null) t.setId(getResourceId(node));
}
