524
524
LoadedModel loadedModel = loader.load(file);
525
525
exportPNML(path, loadedModel);
526
526
if(!uniqueQueryNames.isSelected())
527
Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", loadedModel.queries(), false);
529
Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", renameQueries(file.getName(), loadedModel.queries()));
529
Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", renameQueries(file.getName(), loadedModel.queries()), false);