y.setTempRuns(val);
m.incIteration();
y.setIteration(m.getIteration());
if (m.isAndJoin())
m.setJoinReached(true);
np.getSecond().getSuccessor().add(new Arc(y, a.getProbability()));
Key k = new Key(m.getId(), val);
unfoldedNet.put(k, y);
if (!(containsElement(q, m)))
q.addLast(new NodePair(m, y));