@Override public Set<T> getEnabledTransitionsAtMarking(M marking) { Set<T> result = new HashSet<T>(); for (T t : this.getTransitions()) { boolean flag = true; for (P p : this.getPreset(t)) { if (!marking.isMarked(p)) { flag = false; break; } } if (flag) result.add(t); } return result; }