if (!isolatedPlaces.isEmpty()) {
                    String refStr = ReferenceHelper.getNodesAsWrapString(petri, isolatedPlaces);
                    String message = "Petrify does not support isolated marked places.\n\n"
                            + "Problematic places are:\n" + refStr;