diff --git a/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java b/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java index f269e830b30ae654e2d7a0ce423fde6e76ece0c0..1577f0abbc1a2bf189b343d4198745234516b2b4 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java @@ -30,9 +30,8 @@ public class Main { } // parse the global not flatted petri net - // String pnmlPath = "../pnml-relast-nets/src/main/resources/serviceTestNets/structureTestNets/service-structure-correct.pnml";*/ + // pnmlPath = "../pnml-relast-nets/src/main/resources/useCaseNets/RoboticUseCase-TopLayer-Left.pnml"; // configPath = "src/main/config/siftConfig.json"; - PetriNet petriNet = PnmlParser.parsePnml(pnmlPath).get(0); // read config for analyzer from file @@ -189,10 +188,6 @@ public class Main { for (Arc a : petriNet.allArcs()) { System.out.println("Arc: " + a.getId() + " -- source: " + a.getSource().getId() + " -- target: " + a.getTarget().getId()); - - if (a.getNumToolspecific() > 0) { - // System.out.println("--- toolspecifics: " + a.getToolspecific(0).getFormattedXMLBuffer()); - } } System.out.println("--------------- T SIGNALS (STATIC)---------------"); @@ -217,11 +212,11 @@ public class Main { // System.out.println("--------------- TOOL SPECIFIC ---------------"); - for (Transition t : petriNet.allTransitions()) { + /* for (Transition t : petriNet.allTransitions()) { InputSignalTransition ist = t.asInputSignalTransition(); if (ist != null && ist.getNumToolspecific() > 0) { - // System.out.println("ToolSpecific: (" + ist.getName().getText() + ") " + ist.getToolspecific(0).getFormattedXMLBuffer().toString()); + System.out.println("ToolSpecific: (" + ist.getName().getText() + ") " + ist.getToolspecific(0).getFormattedXMLBuffer().toString()); } - } + }*/ } } \ No newline at end of file