@Override public String toString() { StringBuilder result = new StringBuilder(); result.append("Fireable transitions: "); lock.readLock().lock(); try { for (Transition transition : this.getAllEnabledTransitions()) { result.append(transition.getFullLabel() + " "); } if (this.getAllEnabledTransitions().isEmpty()) { result.append("-NONE-"); } result.append("\nPlaces: "); for (Place place : petriNet.getRootSubnet().getPlacesRecursively()) { result.append(place.getLabel() + ":" + getTokens(place) + " "); } if (petriNet.getRootSubnet().getPlacesRecursively().isEmpty()) { result.append("-NONE-"); } } finally { lock.readLock().unlock(); } return result.toString(); }
private Set<Transition> getTransitions() { return petriNet.getRootSubnet().getTransitionsRecursively(); }