@Override public String toDot() { String resourceName = resource.getName().replace("->", "_"); resourceName = resourceName.replace("\\.", "_"); String processName = process.getName().replace("->", "_"); processName = processName.replace("\\.", "_"); return resourceName + " -> " + processName + ";"; }
@Override public String toString() { return resource.getName() + " -> " + process.getName(); }