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 fd8ab33857de4a8cb09c691fa3c1428b2a726de6..f7bfe86649450deb3a0dea3bafc096e604019fb9 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 @@ -22,14 +22,13 @@ import java.util.UUID; public class Main { - private static final boolean FLAG_INHIBITOR = true; - public static void main(String[] args) throws InvalidIDException, InterruptedException, IOException { - String configPath = null; //((args.length > 1) ? args[1] : null; - String pnmlPath = "/home/sebastian/git/dineros-public/dineros/pnml-relast-apps/robotic-sorting/test-models/pubsub.pnml"; + String configPath = (args.length > 1) ? args[1] : null; + String pnmlPath = (args.length > 0) ? args[0] : null; + //"/home/sebastian/git/dineros-public/dineros/pnml-relast-apps/robotic-sorting/test-models/pubsub.pnml"; // "/home/sebastian/git/dineros-public/dineros/pnml-relast-apps/robotic-sorting/rpn-models/full-models/sorting-wf-synced-safe-sensor-grpn-sig.pnml"; - // (args.length > 0) ? args[0] : null; + boolean flagInhibitor = args.length > 2 && Boolean.parseBoolean(args[2]); if (pnmlPath == null) { System.out.println("[ERROR] No model found on given input path."); @@ -54,7 +53,7 @@ public class Main { // [STAGE 2] Transform topic transitions for(DinerosTransition dt : petriNet.allDinerosTransitions()){ if(dt.canTransformTopicTransition()){ - Page topicTransformedPage = dt.transformTopicElement(FLAG_INHIBITOR); + Page topicTransformedPage = dt.transformTopicElement(flagInhibitor); for ( int i = 0; i < dt.ContainingPage().getNumObject(); i++ ){ if(dt.ContainingPage().getObject(i).getId().equals(dt.getId())){ dt.ContainingPage().setObject(topicTransformedPage, i); @@ -106,7 +105,7 @@ public class Main { } } - printNet(petriNet, true, false); + // printNet(petriNet, true, false); // [STAGE 6] remove references / pages System.out.println("[FLATTENER] Breaking references and pages."); @@ -137,7 +136,7 @@ public class Main { // [STAGE 8] Analyze // read config for analyzer from file - if(configPath != null && !configPath.equals("")) { + if(configPath != null && !configPath.equals("") && !configPath.equals("-nc")) { ConfigReader cr = new ConfigReader(configPath); String[] tinaConfig = cr.getTinaConfigParams(); String[] siftConfig = cr.getSiftConfigParams();